Charles Yuan

Registered user since Tue 14 Dec 2021

Name:Charles Yuan
Country:United States
Affiliation:Massachusetts Institute of Technology
Research interests:Programming Languages, Quantum Computing, Probabilistic Programming, Computer Systems

Contributions

PLDI 2023 Author in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2022 Author of Tower: Data Structures in Quantum Superposition within the OOPSLA-track
Author of Tower: Data Structures in Quantum Superposition within the Posters-track
Author of Semi-symbolic Inference for Efficient Streaming Probabilistic Programming within the Posters-track
Mentor in Mentors within the PLMW-track
Author of Semi-symbolic Inference for Efficient Streaming Probabilistic Programming within the OOPSLA-track
PLanQC 2022 Author of Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs within the PLanQC-track
Author of Quantum Programming with Data Structures within the PLanQC-track
Author of Analyzing quantum programs using the power of interaction within the PLanQC-track
PLDI 2022 Author of (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs within the SIGPLAN Track-track
POPL 2022 Author of Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs within the POPL-track
SPLASH 2021 Author of Statically Bounded-Memory Delayed Sampling for Probabilistic Streams within the OOPSLA-track
Author of Statically Bounded-Memory Delayed Sampling for Probabilistic Streams within the Posters-track