Ken Ashcraft

According to our database, Ken Ashcraft authored at least 3 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Correlation exploitation in error ranking.

Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

2003

RacerX: effective, static detection of race conditions and deadlocks.

Dawson R. Engler, Ken Ashcraft

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

2002

Using Programmer-Written Compiler Extensions to Catch Security Holes.

Ken Ashcraft, Dawson R. Engler

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002