| |
| 2004 | ||
|---|---|---|
| 4 | EE | Shaz Qadeer, Dinghao Wu: KISS: keep it simple and sequential. PLDI 2004: 14-24 |
| 3 | EE | Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu: Construction of a Semantic Model for a Typed Assembly Language. VMCAI 2004: 30-43 |
| 2003 | ||
| 2 | EE | Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang: A provably sound TAL for back-end optimization. PLDI 2003: 208-219 |
| 1 | EE | Dinghao Wu, Andrew W. Appel, Aaron Stump: Foundational proof checkers with small witnesses. PPDP 2003: 264-274 |
| 1 | Andrew W. Appel | [1] [2] [3] |
| 2 | Juan Chen | [2] |
| 3 | Hai Fang | [2] |
| 4 | Shaz Qadeer | [4] |
| 5 | Aaron Stump | [1] |
| 6 | Kedar N. Swadi | [3] |
| 7 | Gang Tan | [3] |