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