bibliographer - Zhong Shao

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Automated Resource Analysis with Coq Proof Objects Quentin Carbonneaux Jan Hoffmann Thomas Reps Zhong Shao [github]

Using XCAP to Certify Realistic Systems Code: Machine Context Management Zhaozhong Ni Dachuan Yu Zhong Shao [github]

Verification of safety properties for concurrent assembly code Dachuan Yu Zhong Shao [github]

Certified assembly programming with embedded code pointers Zhaozhong Ni Zhong Shao [github]

Modular verification of assembly code with stack-based control abstractions Xinyu Feng Zhong Shao Alexander Vaynberg Sen Xiang Zhaozhong Ni [github]

An open framework for foundational proof-carrying code Xinyu Feng Zhaozhong Ni Zhong Shao Yu Guo [github]

Certified self-modifying code Hongxu Cai Zhong Shao Alexander Vaynberg [github]

VeriML Antonis Stampoulis Zhong Shao [github]

CertiKOS Liang Gu Alexander Vaynberg Bryan Ford Zhong Shao David Costanzo [github]

Deep Specifications and Certified Abstraction Layers Ronghui Gu Jérémie Koenig Tahina Ramananandro Zhong Shao Xiongnan (Newman) Wu Shu-Chun Weng Haozhong Zhang Yu Guo [github]

Certified concurrent abstraction layers Ronghui Gu Zhong Shao Jieung Kim Xiongnan (Newman) Wu Jérémie Koenig Vilhelm Sjöberg Hao Chen David Costanzo Tahina Ramananandro [github]

Refinement-Based Game Semantics for Certified Abstraction Layers Jérémie Koenig Zhong Shao [github]

Library Size: 13G (12 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]