Charles Yuan

I'm a Ph.D. student at MIT CSAIL working with Prof. Michael Carbin. Here's my CV.

I design programming languages that enable us to correctly implement algorithms on quantum computers. More generally, my research interests lie in the challenges of programming quantum computers and other emerging models of computation.

You can email me at ude.tim@nauyselrahc, or find me on GitHub or LinkedIn.

I used to be a developer at Hudson River Trading. Previously, I studied at Carnegie Mellon and interned at Two Sigma, Airbnb, and Google.

I will be interning at Google Quantum AI in Summer 2024.

Publications

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation.
Charles Yuan, Michael Carbin.
To appear in PLDI 2024. (arXiv)
Quantum Control Machine: The Limits of Control Flow in Quantum Programming.
Charles Yuan, Agnes Villanyi, Michael Carbin.
To appear in OOPSLA 2024. (arXiv)
Codesign of Error-Correcting Codes and Modular Chiplets in the Presence of Defects.
Sophia Lin, Joshua Viszlai, Kaitlin Smith, Gokul Ravi, Charles Yuan, Frederic Chong, Benjamin Brown.
To appear in ASPLOS 2024. (arXiv)
Tower: Data Structures in Quantum Superposition.
Charles Yuan, Michael Carbin.
Appeared in OOPSLA 2022. (arXiv) (BibTeX) (video) (older video)
Distinguished Artifact Award.
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming.
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin.
Appeared in OOPSLA 2022. (arXiv)
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs.
Charles Yuan, Chris McNally, Michael Carbin.
Appeared in POPL 2022. (arXiv) (BibTeX) (video) (older video) (press)
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams.
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin.
Appeared in OOPSLA 2021. (arXiv) (video)

Preprints and Workshops

Analyzing Quantum Programs Using the Power of Interaction.
Agnes Villanyi, Charles Yuan, Chris McNally.
Presented at PLanQC at ICFP 2022. (video)
Probabilistic Inference for Quantum Programs.
Charles Yuan, Yipeng Huang, Michael Carbin.
Presented at I2Q at ISCA 2021.
BLT: Exact Bayesian Inference with Distribution Transformers.
Charles Yuan, Jan Hoffmann.
Technical report, 2019. (paper)
Allen Newell Award (Best Undergraduate Thesis).