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 | 18 | 2022 |
Tower: data structures in Quantum superposition C Yuan, M Carbin Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 259-288, 2022 | 12 | 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 |
Quantum control machine: The limits of control flow in quantum programming C Yuan, A Villanyi, M Carbin Association for Computing Machinery, 2024 | 3 | 2024 |
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 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 | 1 | 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 |