BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
D.R.Engler T.Kremenek J.Yang
Talks about:
deadlock (1) exploit (1) static (1) effect (1) detect (1) correl (1) condit (1) racer (1) error (1) rank (1)

Person: Ken Ashcraft

DBLP DBLP: Ashcraft:Ken

Contributed to:

FSE 20042004
SOSP 20032003

Wrote 2 papers:

FSE-2004-KremenekAYE #correlation #fault #ranking
Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.
SOSP-2003-EnglerA #detection #effectiveness #named #static analysis
RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.