Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zhong Shao
Position Paper: The Science of Deep Specification
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Using XCAP to Certify Realistic Systems Code: Machine Context Management
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type-Directed Continuation Allocation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Intensional Analysis of Quantified Types
ACM Transactions on Programming Languages and Systems
Software
Typed Regions
A Type System for Certified Binaries
Building Certified Libraries for PCC: Dynamic Storage Allocation
Type-Directed Continuation Allocation
