| Twist: Sound reasoning for purity and entanglement in quantum programs C Yuan, C McNally, M Carbin Proceedings of the ACM on Programming Languages 6 (POPL), 1-32, 2022 | 17 | 2022 |
| Tower: data structures in Quantum superposition C Yuan, M Carbin Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 259-288, 2022 | 11 | 2022 |
| Semi-symbolic inference for efficient streaming probabilistic programming E Atkinson, C Yuan, G Baudart, L Mandel, M Carbin Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1668-1696, 2022 | 8 | 2022 |
| Empirical overhead of the adapted surface code on defective qubit arrays SF Lin, J Viszlai, KN Smith, GS Ravi, C Yuan, FT Chong, BJ Brown arXiv preprint arXiv:2305.00138, 2023 | 3 | 2023 |
| Statically bounded-memory delayed sampling for probabilistic streams E Atkinson, G Baudart, L Mandel, C Yuan, M Carbin Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 3 | 2021 |
| Quantum Control Machine: The Limits of Control Flow in Quantum Programming C Yuan, A Villanyi, M Carbin | 3 | |
| Quantum control machine: The limits of quantum programs as data C Yuan, A Villanyi, M Carbin arXiv preprint arXiv:2304.15000, 2023 | 2 | 2023 |
| BLT: Exact Bayesian inference with distribution transformers C Yuan, J Hoffmann Undergraduate Dissertation, Carnegie Mellon Univ., America, Forbes Ave, PA, USA, 2019 | 2 | 2019 |
| Codesign of quantum error-correcting codes and modular chiplets in the presence of defects SF Lin, J Viszlai, KN Smith, GS Ravi, C Yuan, FT Chong, BJ Brown Proceedings of the 29th ACM International Conference on Architectural …, 2024 | | 2024 |
| The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation C Yuan, M Carbin arXiv preprint arXiv:2311.12772, 2023 | | 2023 |
| Empirical overhead of the adapted surface code on defective qubit arrays S Fuhui Lin, J Viszlai, KN Smith, G Subramanian Ravi, C Yuan, FT Chong, ... arXiv e-prints, arXiv: 2305.00138, 2023 | | 2023 |
| Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams E Atkinson, G Baudart, L Mandel, C Yuan, M Carbin PROBPROG 2021-Third International Conference on Probabilistic Programming, 2021 | | 2021 |
| Recitation 12: Principles of Imperative Computation C Yuan, S Wang | | 2019 |
| Recitation 8: Dynamic and Unityped Languages JL Prak, C Yuan | | 2018 |
