Concepedia

Charles Yuan

CY

Statistics

Publications

5

Citations

88

H-Index

5

Active since

2022

Affiliations

Massachusetts Institute of Technology(Current)

Charles Yuan is an author at Massachusetts Institute of Technology specializing in computer science, computing, and programming languages.

Publications per year

2022–2024

5

Publications

5

Twist: sound reasoning for purity and entanglement in Quantum programs

Charles Yuan, Christopher M. McNally, Michael Carbin · Proceedings of the ACM on Programming Languages · 2022 · 28 citations · Full text

Computing, Computer Science, Formal Methods +16

Tower: data structures in Quantum superposition

Charles Yuan, Michael Carbin · Proceedings of the ACM on Programming Languages · 2022 · 25 citations · Full text

Computing, Computer Science, Data Structures +16

Codesign of quantum error-correcting codes and modular chiplets in the presence of defects

Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith et al. · 2024 · 14 citations

Computing, Computer Engineering, Computer Science +17

Semi-symbolic inference for efficient streaming probabilistic programming

Eric Atkinson, Charles Yuan, Guillaume Baudart et al. · Proceedings of the ACM on Programming Languages · 2022 · 11 citations · Full text

Computing, Computer Science, Probability Theory +14

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation

Charles Yuan, Michael Carbin · Proceedings of the ACM on Programming Languages · 2024 · 10 citations · Full text

Computing, Computer Science, Algorithms +16

1–5 of 5