2007 |
7 | EE | Xinyu Feng,
Zhaozhong Ni,
Zhong Shao,
Yu Guo:
An open framework for foundational proof-carrying code.
TLDI 2007: 67-78 |
6 | EE | Zhaozhong Ni,
Dachuan Yu,
Zhong Shao:
Using XCAP to Certify Realistic Systems Code: Machine Context Management.
TPHOLs 2007: 189-206 |
2006 |
5 | 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 |
4 | EE | Zhaozhong Ni,
Zhong Shao:
Certified assembly programming with embedded code pointers.
POPL 2006: 320-333 |
2003 |
3 | EE | Nadeem Abdul Hamid,
Zhong Shao,
Valery Trifonov,
Stefan Monnier,
Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code.
J. Autom. Reasoning 31(3-4): 191-229 (2003) |
2002 |
2 | EE | Nadeem Abdul Hamid,
Zhong Shao,
Valery Trifonov,
Stefan Monnier,
Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code.
LICS 2002: 89-100 |
2001 |
1 | EE | Carsten Schürmann,
Dachuan Yu,
Zhaozhong Ni:
A Representation of Fomega in LF.
Electr. Notes Theor. Comput. Sci. 58(1): (2001) |