Publications

Projects

My research is rooted in formal methods and branches into systems, algorithms, and AI.   My primary research goal is to bridge safety and performance, rather than sacrifice one for the other.   

• Concurrency and Parallelism

• Quantum Computing

• Diderot

• Self-adjusting computation 

• AI and ML

News

• 2025 Best paper award (QCE 2025 Project on Local Quantum Circuit Optimization)

• 2025 I am serving as the PC Chair for SPAA 2025.   Please submit your paper!

• 2024 Best paper award (QCE 2024 Project on Sparse Quantum Simulation)

• 2024 Distinguished paper award (POPL 2024 paper on Project MPL & Automatic Parallelism Management)

• 2023 Sam Westrick wins ACM SIGPLAN Doctoral Dissertation Award. Congrats Sam!!

• 2022 Distinguished paper award (ICFP 2022 paper on MPL & Disentanglement)

• 2022: Intel Award (Project MPL & Disentanglement)

• 2021: JP Morgan Chase AI Award (Project Diderot)

• 2021: Distinguished paper award (POPL 2021 paper on MPL & Disentanglement)

• 2020: ACM SIGPLAN Research Highlight (PPOPP 2019 on Heartbeat Scheduling)

• 2019: CMU Teaching Innovation Award (Project Diderot)

Books

• Algorithms: Parallel and Sequential 

• An Introduction to Parallel Computing in C++ 

Teaching

• Quantum Computing Systems (15-898)

• Parallel and Sequential Data Structures and Algorithms (15-210)

• Parallelism and Concurrency (15897)

Research Group

• Pengyu Liu, PhD student

• Colin McDonald, PhD student

• Mike Rainey, Research scientist.

• Mingkuan Xu, PhD student (jointly advised with  Zhihao Jia)

Alumni

• Jatin Arora, PhD 2024 (Now: Researcher at AWS)

• Sam Westrick, PhD 2022 (Now: Professor at NYU)

• Yue Yao, M.S. 2020 (Now: PhD at CMU)

• Yifan Qiao, Undergraduate 2019 (Now: PhD at UCLA)

• Rohan Yadav B.S. 2019 (Now: PhD at Stanford)

• Vijay Ramamurthy B.S. 2019 (Now: Facebook)

• Stefan Muller Ph.D. 2018 (Now: Professor at IIT Chicago)

• Adrien Guatto  Post-doc 2016-17 (Now: Professor at IRIF-CNRS, Paris)

• Ram Raghunathan M.A. 2017 (Now: Twitch)

• Yan Chen Ph.D. 2017 (Now: Google --> Dfinity)

• Filip Sieczkowski Post-doc: 2014-16 (Now: Professor at University of Wroclaw)

• Pramod Bhatotia Ph.D. 2015 (Now: Professor at University of Edinburg)

• Arthur Chargueraud Post-doc 2010-12 (Now: Researcher at INRIA)

• Jana Dunfield Post-doc 2010-12 (Now: Professor at Queen’s University, Ontario)

• Mike Rainey Post-doc 2010-12 (Now: Researcher at Inria --> Researcher at CMU)

• Ozgur Sumer Ph.D. 2012.  (Now: Google)

• Duru Turkoglu Ph.D. 2012. (Now: Loyala University)

• Ruy Ley-Wild Ph.D. 2010.  (Now: LogicBlox)

• Jamie Morgenstern B.S. 2009. (Now: PhD at CMU --> Professor at Georgia Tech --> Professor at University of Washington)