Concepedia

Zhong Shao

ZS

73

Publications

3.1K

Citations

36

H-Index

1992

Active since

Affiliations

Yale University(Current)

University of Science and Technology of China

Princeton University

Tsinghua University

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

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationComputer EngineeringSystem SoftwareAutomated Reasoning

Publications per year

1992–2021

73

Publications

73

CertiKOS: an extensible architecture for building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Operating Systems Design and Implementation · 2016 · 162 citations

Engineering, Verification, Computer Architecture +23

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 149 citations

Engineering, Verification, Software Engineering +21

Certified assembly programming with embedded code pointers

Zhaozhong Ni, Zhong Shao · 2006 · 112 citations

Engineering, Compiler Technology, Verification +21

A type-based compiler for standard ML

Zhong Shao, Andrew W. Appel · 1995 · 106 citations

Engineering, Compiler Technology, Computer Architecture +19

Space-efficient closure representations

Zhong Shao, Andrew W. Appel · 1994 · 101 citations

Mathematical Programming, Space-efficient Closure Representations, Closure Conversion +22

Rows per page

1–5 of 73