YALEU/DCS/TR1556 [.pdf] CompCertO: Compiling Certified Open C Components
Jeremie Koenig
Zhong Shao
April 2021
YALEU/DCS/TR1557 [.pdf] Much ADO About Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Wolf Honore
Jieung Kim
Ji-Yong Shin
Zhong Shao
September 2021
YALEU/DCS/TR1558 [.pdf] Invited Paper: Privacy-Preserving Data Sharing for Medical Research
Michael J. Fischer
Jonathan E. Hochman
Daniel Boffa
September 2021
YALEU/DCS/TR1559 [.pdf] Layered and Object-Based Game Semantics
Arthur Oliveira Vale
Paul-Andre Mellies
Zhong Shao
Jeremie Koenig
Leo Stefanesco