Concepedia

Zhaozhong Ni

ZN

7

Publications

407

Citations

7

H-Index

2003

Active since

Affiliations

Yale University(Current)

University of Science and Technology of China

Zhaozhong Ni is an author at Yale University specializing in formal methods, formal verification, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningComputer EngineeringComputer Architecture

Publications per year

2003–2007

7

Publications

7

Certified assembly programming with embedded code pointers

Zhaozhong Ni, Zhong Shao · 2006 · 112 citations

Engineering, Compiler Technology, Verification +21

A syntactic approach to foundational proof-carrying code

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov et al. · 2003 · 73 citations

Pcc Proofs, Formal Specification, Engineering +15

Modular verification of assembly code with stack-based control abstractions

Xinyu Feng, Zhong Shao, Alexander Vaynberg et al. · ACM SIGPLAN Notices · 2006 · 63 citations

Engineering, Compiler Technology, Verification +19

An open framework for foundational proof-carrying code

Xinyu Feng, Zhaozhong Ni, Zhong Shao et al. · 2007 · 56 citations

First Fpcc Framework, Engineering, Verification +22

Modular verification of assembly code with stack-based control abstractions

Xinyu Feng, Zhong Shao, Alexander Vaynberg et al. · 2006 · 52 citations

Engineering, Compiler Technology, Verification +19

Rows per page

1–5 of 7