Zhaozhong Ni

According to our database, Zhaozhong Ni authored at least 7 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.

Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, 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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2007

Using XCAP to Certify Realistic Systems Code: Machine Context Management.

Zhaozhong Ni, Dachuan Yu, Zhong Shao

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

An open framework for foundational proof-carrying code.

Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

2006

Certified assembly programming with embedded code pointers.

Zhaozhong Ni, Zhong Shao

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Modular verification of assembly code with stack-based control abstractions.

Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2003

A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni

J. Autom. Reason., 2003

2001

A Representation of Fomega in LF.

Carsten Schürmann, Dachuan Yu, Zhaozhong Ni

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001