Zhong Shao
Yale University
H-index: 46
North America-United States
Top articles of Zhong Shao
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A compositional theory of linearizability | Journal of the ACM | Arthur Oliveira Vale Zhong Shao Yixuan Chen | 2024/4/12 |
SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification | Journal of Systems Architecture | Jieung Kim Ronghui Gu Zhong Shao | 2024/2/1 |
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions | Journal of Systems Architecture | Jieung Kim Jérémie Koenig Hao Chen Ronghui Gu Zhong Shao | 2024/2/1 |
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules | Proceedings of the ACM on Programming Languages | Ling Zhang Yuting Wang Jinhua Wu Jérémie Koenig Zhong Shao | 2024/1/5 |
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects | Proc. ACM Program. Lang | Wolf Honoré Longfei Qiu Yoonseung Kim Ji-Yong Shin Jieung Kim | 2024 |
Ou: Automating the Parallelization of Zero-Knowledge Protocols | Yuyang Sang Ning Luo Samuel Judson Ben Chaimberg Timos Antonopoulos | 2023/11/15 | |
Systems and methods of formal verification | 2023/11/14 | ||
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation | arXiv e-prints | Ling Zhang Yuting Wang Jérémie Koenig Zhong Shao | 2023/2 |
Adore: Atomic distributed objects with certified reconfiguration | Wolf Honoré Ji-Yong Shin Jieung Kim Zhong Shao | 2022/6/9 | |
Verified compilation of C programs with a nominal memory model | Proceedings of the ACM on Programming Languages | Yuting Wang Ling Zhang Zhong Shao Jérémie Koenig | 2022/1/11 |
Layered and object-based game semantics | Proceedings of the ACM on Programming Languages | Arthur Oliveira Vale Paul-André Melliès Zhong Shao Jérémie Koenig Léo Stefanesco | 2022/1/11 |
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation | Proceedings of the ACM on Programming Languages | Mengqi Liu Zhong Shao Hao Chen Man-Ki Yoon Jung-Eun Kim | 2022/10/31 |
Timedice: Schedulability-preserving priority inversion for mitigating covert timing channels between real-time partitions | Man-Ki Yoon Jung-Eun Kim Richard Bradford Zhong Shao | 2022 | |
Paired Training Framework for Time-Constrained Learning | Jung-Eun Kim Richard Bradford Max Del Giudice Zhong Shao | 2021/2/1 | |
Adaptive Generative Modeling in Resource-Constrained Environments | Jung-Eun Kim Richard Bradford Max Del Giudice Zhong Shao | 2021/2/1 | |
Blinder:{Partition-Oblivious} hierarchical scheduling | Man-Ki Yoon Mengqi Liu Hao Chen Jung-Eun Kim Zhong Shao | 2021 | |
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems | Proceedings of the ACM on Programming Languages | Wolf Honoré Jieung Kim Ji-Yong Shin Zhong Shao | 2021/10/15 |
CompCertO: compiling certified open C components | Jérémie Koenig Zhong Shao | 2021/6/19 | |
Task-aware novelty detection for visual-based deep learning in autonomous systems | Valerie Chen Man-Ki Yoon Zhong Shao | 2020 | |
Anytimenet: Controlling time-quality tradeoffs in deep neural network architectures | Jung-Eun Kim Richard Bradford Zhong Shao | 2020/3/9 |