Research and Projects

My research is rooted in programming languages and branches into algorithms and software systems.

• Disentanglement

• Responsive parallelism

• Parallel computing

• Diderot

• Self-adjusting computation

• Dynamic Algorithms

• Adaptive machine learning

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)

• Matthew Hammer Ph.D. 2012 (Now: Professor at UCB --> Dfinity)

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