Charles Yuan

15 papers Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra.
CoRR
Charles Yuan
2024 — conf
Codesign of quantum error-correcting codes and modular chiplets in the presence of defects.
ASPLOS (2)
Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith, Gokul Subramanian Ravi, Charles Yuan, Frederic T. Chong, Benjamin J. Brown
2024 J jnl
Expressing and Analyzing Quantum Algorithms with Qualtran.
CoRR
Matthew P. Harrigan, Tanuj Khattar, Charles Yuan, Anurudh Peduri, Noureldin Yosri, Fionn D. Malone, Ryan Babbush, Nicholas C. Rubin
2024 J jnl
Quantum Control Machine: The Limits of Control Flow in Quantum Programming.
Proc. ACM Program. Lang.
Charles Yuan, Agnes Villanyi, Michael Carbin
2024 J jnl
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation.
Proc. ACM Program. Lang.
Charles Yuan, Michael Carbin
2023 J jnl
Quantum Control Machine: The Limits of Quantum Programs as Data.
CoRR
Charles Yuan, Agnes Villanyi, Michael Carbin
2023 J jnl
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation.
CoRR
Charles Yuan, Michael Carbin
2022 J jnl
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming.
CoRR
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
2022 J jnl
Semi-symbolic inference for efficient streaming probabilistic programming.
Proc. ACM Program. Lang.
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
2022 J jnl
Tower: Data Structures in Quantum Superposition.
CoRR
Charles Yuan, Michael Carbin
2022 J jnl
Tower: data structures in Quantum superposition.
Proc. ACM Program. Lang.
Charles Yuan, Michael Carbin
2022 J jnl
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs.
CoRR
Charles Yuan, Christopher McNally, Michael Carbin
2022 J jnl
Twist: sound reasoning for purity and entanglement in Quantum programs.
Proc. ACM Program. Lang.
Charles Yuan, Christopher McNally, Michael Carbin
2021 J jnl
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams.
CoRR
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
2021 J jnl
Statically bounded-memory delayed sampling for probabilistic streams.
Proc. ACM Program. Lang.
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin