| 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 | 9 | 2022 |
| Quantum Control Machine: The Limits of Control Flow in Quantum Programming C Yuan, A Villanyi, M Carbin Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1–28, 2024 | 7* | 2024 |
| 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 | 4* | 2024 |
| 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 |
| BLT: Exact Bayesian Inference with Distribution Transformers C Yuan, J Hoffmann Carnegie Mellon University, 2019 | 2 | 2019 |
| The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation C Yuan, M Carbin Proceedings of the ACM on Programming Languages 8 (PLDI), 492-517, 2024 | | 2024 |
| 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 |
Michael CarbinMassachusetts Institute of Technology在 csail.mit.edu 的电子邮件经过验证
Michael CarbinMassachusetts Institute of Technology在 csail.mit.edu 的电子邮件经过验证