Ken Ashcraft

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

Coauthor Index

1	Dawson R. Engler	[1] [2] [3]
2	Ted Kremenek	[3]
3	Junfeng Yang	[3]