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: Ashcraft:Ken
Contributed to:
2004
2003Wrote 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.