| |
| 2000 | ||
|---|---|---|
| 2 | EE | Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline: A certifying compiler for Java. PLDI 2000: 95-107 |
| 1998 | ||
| 1 | Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone: Safe-for-Space Threads in Standard ML. Higher-Order and Symbolic Computation 11(2): 209-225 (1998) | |
| 1 | Edoardo Biagioni | [1] |
| 2 | Fred Blau | [2] |
| 3 | Christopher Colby | [2] |
| 4 | Peter Lee | [1] [2] |
| 5 | George C. Necula | [2] |
| 6 | Chris Okasaki | [1] |
| 7 | Mark Plesko | [2] |
| 8 | Christopher A. Stone | [1] |