CY
Charles Yuan
cs.PLquant-phcs.AR
On Valency
published · living versionsW_s3uf4dm6·v1 · currentpublished
MBUndo: Sound, Automatic, and Efficient Measurement-Based Uncomputation for Quantum Circuits
with Shengyuan Yang
1 version
Preprints & journals
10 papers in the corpus · 2021–2026The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs2607.11665v1 · Shengyuan Yang, Charles Yuan2026 · 0 citationsarXiv
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra2511.01736v2 · Charles Yuan2025 · 0 citationsProc. ACM Program. Lang., Vol. 10, No. PLDI, Article 177. Publication date: June 2026
Expressing and Analyzing Quantum Algorithms with Qualtran2409.04643v1 · Matthew P. Harrigan, Tanuj Khattar, Charles Yuan et al.2024 · 4 citationsarXiv
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation2311.12772v2 · Charles Yuan, Michael Carbin2023 · 10 citationsProc. ACM Program. Lang., Vol. 8, No. PLDI, Article 167. Publication date: June 2024
Codesign of quantum error-correcting codes and modular chiplets in the presence of defects2305.00138v3 · Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith et al.2023 · 18 citationsarXiv
Quantum Control Machine: The Limits of Control Flow in Quantum Programming2304.15000v5 · Charles Yuan, Agnes Villanyi, Michael Carbin2023 · 11 citationsProc. ACM Program. Lang., Vol. 8, No. OOPSLA1, Article 94. Publication date: April 2024
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming2209.07490v2 · Eric Atkinson, Charles Yuan, Guillaume Baudart et al.2022 · 11 citationsarXiv
Tower: Data Structures in Quantum Superposition2205.10255v3 · Charles Yuan, Michael Carbin2022 · 27 citationsProc. ACM Program. Lang. 6, OOPSLA2, Article 134 (October 2022)
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs2205.02287v1 · Charles Yuan, Christopher McNally, Michael Carbin2022 · 31 citationsProc. ACM Program. Lang. 6, POPL, Article 30 (January 2022), 32 pages
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams2109.12473v5 · Eric Atkinson, Guillaume Baudart, Louis Mandel et al.2021 · 5 citationsProc. ACM Program. Lang. 5, OOPSLA, Article 115 (October 2021)
Career total: 21 works. 10 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.