| 2002 | ||
|---|---|---|
| 2 | EE | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC 2002: 213-228 |
| 2001 | ||
| 1 | EE | George C. Necula, Shree Prakash Rahul: Oracle-based checking of untrusted software. POPL 2001: 142-154 |
| 1 | Scott McPeak | [2] |
| 2 | George C. Necula | [1] [2] |
| 3 | Westley Weimer | [2] |