Statically bounded-memory delayed sampling for probabilistic streams. - Eric Atkinson; Guillaume Baudart; Louis Mandel; Charles Yuan; Michael Carbin (Proc. ACM Program. Lang., 2021)

Semi-symbolic inference for efficient streaming probabilistic programming. - Eric Atkinson; Charles Yuan; Guillaume Baudart; Louis Mandel; Michael Carbin (Proc. ACM Program. Lang., 2022)

Tower: data structures in Quantum superposition. - Charles Yuan; Michael Carbin (Proc. ACM Program. Lang., 2022)

Twist: sound reasoning for purity and entanglement in Quantum programs. - Charles Yuan; Christopher McNally; Michael Carbin (Proc. ACM Program. Lang., 2022)

Quantum Control Machine: The Limits of Quantum Programs as Data. - Charles Yuan; Agnes Villanyi; Michael Carbin (CoRR, 2023)

Codesign of quantum error-correcting codes and modular chiplets in the presence of defects. - Sophia Fuhui Lin; Joshua Viszlai; Kaitlin N. Smith; Gokul Subramanian Ravi; Charles Yuan; Frederic T. Chong; Benjamin J. Brown (ASPLOS (2), 2024)

Expressing and Analyzing Quantum Algorithms with Qualtran. - Matthew P. Harrigan; Tanuj Khattar; Charles Yuan; Anurudh Peduri; Noureldin Yosri; Fionn D. Malone; Ryan Babbush; Nicholas C. Rubin (CoRR, 2024)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation. - Charles Yuan; Michael Carbin (Proc. ACM Program. Lang., 2024)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming. - Charles Yuan; Agnes Villanyi; Michael Carbin (Proc. ACM Program. Lang., 2024)