2024 Technical Reports

YALEU/DCS/TR1567 [.pdf] Single Pass Client Preprocessing Private Information Retrieval
A. Lazzaretti
C. Papamanthou
February 2024

YALEU/DCS/TR1568 AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honore
Longfei Qiu
Yoonseung Kim
Ji-Yong Shin
Jieung Kim
Zhong Shao
March 2024

YALEU/DCS/TR1569 LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Longfei Qiu
Yoonseung Kim
Ji-Yong Shin
Jieung Kim
Wolf Honore
Zhong Shao
April 2024

YALEU/DCS/TR1570 Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale
Zhongye Wang
Yixuan Chen
Peixin You
Zhong Shao
August 2024

YALEU/DCS/TR1571 [.pdf] A high-order procedure for computing globally optimal Wannier functions in one-dimensional crystalline insulators
Abinand Gopal
Hanwen Zhang
September 19, 2024

YALEU/DCS/TR1572 [.pdf] Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra
Yu Zhang
Jeremie Koenig
Zhong Shao
Yuting Wang
November 2024