Zhaozhong Ni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. | Zhenyang Dai, Shuang Liu, Vilhelm Sjberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He |
| 2006 | PLDI | Modular verification of assembly code with stack-based control abstractions. | Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
| 2006 | POPL | Certified assembly programming with embedded code pointers. | Zhaozhong Ni, Zhong Shao |
| 2002 | LICS | A Syntactic Approach to Foundational Proof-Carrying Code. | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni |