| 2007 | ||
|---|---|---|
| 2 | EE | Hongxu Cai, Zhong Shao, Alexander Vaynberg: Certified self-modifying code. PLDI 2007: 66-77 |
| 2006 | ||
| 1 | EE | Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni: Modular verification of assembly code with stack-based control abstractions. PLDI 2006: 401-414 |
| 1 | Hongxu Cai | [2] |
| 2 | Xinyu Feng | [1] |
| 3 | Zhaozhong Ni | [1] |
| 4 | Zhong Shao | [1] [2] |
| 5 | Sen Xiang | [1] |