Ken Ashcraft

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler
Correlation exploitation in error ranking. SIGSOFT FSE (2004)
Dawson R. Engler, Ken Ashcraft
RacerX: effective, static detection of race conditions and deadlocks. SOSP (2003)
Ken Ashcraft, Dawson R. Engler
Using Programmer-Written Compiler Extensions to Catch Security Holes. IEEE Symposium on Security and Privacy (2002)