Zhong Shao - Concepedia

Author

Zhong Shao

Yale University ORCID

Also Known As

Shao, Zhong, ZHONG SHAO, Zhong Shao

204

Publications

4.1K

Citations

H-Index

Concepts

All Affiliations

Yale University University of Science and Technology of China Princeton University Tsinghua University

About

Zhong Shao is an author at Yale University specializing in computer science, engineering, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	35	63	2.9K
2	Computer Science	35	63	2.9K
3	Computer Engineering	28	41	2.1K
4	Language Studies	3	3	183
5	Arts	1	1	16

Zhong Shao

Publications

3.1K

Citations

H-Index

Page 1

	Year	Citations
CertiKOS: an extensible architecture for building certified concurrent OS kernels Ronghui Gu, Zhong Shao, Hao Chen, Operating Systems Design and Implementation EngineeringVerificationComputer ArchitectureConcurrent SystemKernel Function	2016	162
Deep Specifications and Certified Abstraction Layers Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2014	149
Certified assembly programming with embedded code pointers Zhaozhong Ni, Zhong Shao EngineeringCompiler TechnologyVerificationComputer ArchitectureComputer-aided Verification	2006	112
A type-based compiler for standard ML Zhong Shao, Andrew W. Appel EngineeringCompiler TechnologyComputer ArchitectureComputational ComplexitySoftware Analysis	1995	106
Space-efficient closure representations Zhong Shao, Andrew W. Appel Mathematical ProgrammingSpace-efficient Closure RepresentationsClosure ConversionEngineeringCompiler Technology	1994	101
Certified self-modifying code Hongxu Cai, Zhong Shao, Alexander Vaynberg Program CheckingEngineeringVerificationComputer-aided VerificationSelf-modifying Code	2007	94
Compositional certified resource bounds Quentin Carbonneaux, Jan Hoffmann, Zhong Shao Mathematical ProgrammingProgram CheckingEngineeringVerificationResource Assessment	2015	90
A general framework for certifying garbage collectors and their mutators Andrew McCreight, Zhong Shao, Chunxiao Lin, EngineeringGarbage CollectorsVerificationComputer ArchitectureSoftware Analysis	2007	80
Certifying low-level programs with hardware interrupts and preemptive threads Xinyu Feng, Zhong Shao, Yuan Dong, Program CheckingEngineeringHardware Verification LanguageVerificationComputer Architecture	2008	79
Implementing typed intermediate languages Zhong Shao, Christopher League, Stefan Monnier EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringSoftware Analysis	1998	78

Page 1