Projects

My research is rooted in programming languages and branches into algorithms and software systems. My primary research goal is to bring together safety and performance, rather than sacrifice one for the sake of other.

• Concurrency and Parallelism

• Quantum Computing

• Diderot

• Self-adjusting computation

• Dynamic Algorithms

Publications

Recent Awards

• 2022 Distinguished paper award (ICFP 2022)

• 2022: Intel Award

• 2021: JP Morgan Chase AI Award

• 2021: Distinguished paper award (POPL 2021)

• 2020: ACM SIGPLAN Research Highlight (PPOPP 2019)

• 2019: CMU Teaching Innovation Award (Diderot Project)

Books

• Algorithms: Parallel and Sequential

• An Introduction to Parallel Computing in C++

Teaching

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

• Parallelism and Concurrency (15897)

Research Group

• Jatin Arora, PhD student

• Matei Budiu, B.S. student

• Puhua Cheng, B.S. student

• Mike Rainey, Research scientist.

• Sam Westrick, Post Doc

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

Alumni

• Sam Westrick, PhD 2022

• 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: 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)