Charles Yuan

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Quantum Computation

Bayesian Reasoning

Error Correction

Top Venues

Proc. ACM Program. Lang.

Publications

Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith, Gokul Subramanian Ravi, Charles Yuan, Frederic T. Chong, Benjamin J. Brown
Codesign of quantum error-correcting codes and modular chiplets in the presence of defects. ASPLOS (2) (2024)
Charles Yuan, Agnes Villanyi, Michael Carbin
Quantum Control Machine: The Limits of Control Flow in Quantum Programming. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Charles Yuan, Michael Carbin
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Charles Yuan, Agnes Villanyi, Michael Carbin
Quantum Control Machine: The Limits of Quantum Programs as Data. CoRR (2023)
Charles Yuan, Michael Carbin
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation. CoRR (2023)
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming. CoRR (2022)
Charles Yuan, Christopher McNally, Michael Carbin
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs. CoRR (2022)
Charles Yuan, Christopher McNally, Michael Carbin
Twist: sound reasoning for purity and entanglement in Quantum programs. Proc. ACM Program. Lang. 6 (POPL) (2022)
Charles Yuan, Michael Carbin
Tower: Data Structures in Quantum Superposition. CoRR (2022)
Charles Yuan, Michael Carbin
Tower: data structures in Quantum superposition. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
Semi-symbolic inference for efficient streaming probabilistic programming. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams. CoRR (2021)
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Statically bounded-memory delayed sampling for probabilistic streams. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)