Zhaozhong Ni - Concepedia

Author

Zhaozhong Ni

Also Known As

Zhaozhong Ni

Publications

478

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	407
2	Computer Science	7	7	407
3	Computer Engineering	5	5	299
4	Computer Architecture	4	4	243
5	Systems Engineering	2	2	115

Zhaozhong Ni

Publications

407

Citations

H-Index

Page 1

	Year	Citations
Certified assembly programming with embedded code pointers Zhaozhong Ni, Zhong Shao EngineeringCompiler TechnologyVerificationComputer ArchitectureComputer-aided Verification	2006	112
A syntactic approach to foundational proof-carrying code Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Pcc ProofsFormal SpecificationEngineeringAutomated ReasoningProgram Analysis	2003	73
Modular verification of assembly code with stack-based control abstractions Xinyu Feng, Zhong Shao, Alexander Vaynberg, ACM SIGPLAN Notices EngineeringCompiler TechnologyVerificationControl AbstractionsComputer Architecture	2006	63
An open framework for foundational proof-carrying code Xinyu Feng, Zhaozhong Ni, Zhong Shao, First Fpcc FrameworkEngineeringVerificationComputer-aided VerificationSoftware Engineering	2007	56
Modular verification of assembly code with stack-based control abstractions Xinyu Feng, Zhong Shao, Alexander Vaynberg, EngineeringCompiler TechnologyVerificationControl AbstractionsComputer Architecture	2006	52
A Syntactic Approach to Foundational Proof-Carrying Code Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Journal of Automated Reasoning EngineeringAutomated ReasoningProgram AnalysisVerificationFormal Methods	2003	35
Certified assembly programming with embedded code pointers Zhaozhong Ni, Zhong Shao ACM SIGPLAN Notices EngineeringCompiler TechnologyVerificationComputer ArchitectureComputer-aided Verification	2006	16

Page 1