Collaborators
I have been very fortunate to work on projects with many amazing folks over the years.
- Aarti Gupta
- Adam Anderson
- Adam Chlipala
- Adam T. Geller
- Adriana Schulz
- Alex Sanchez-Stern
- Altan Haan
- Amy Zhu
- Anat Caspi
- Andrew Liu
- Ang Li
- Anthony Fox
- Arvind Krishnamurthy
- Bill Zorn
- Bo-Yuan Huang
- Brett Saiki
- Calvin Loncaric
- Chandrakana Nandi
- Chen Qiu
- Chenming Wu
- Chris Tucker
- Cindy Rubio-González
- Dan Grossman
- Daniel Ricketts
- Daryl Zuniga
- David Cao
- David Lazar
- David Shuffelton
- David Thien
- Dongseok Jang
- Doug Woos
- Eli Rosenthal
- Ellis Michael
- Emina Torlak
- Eric Mullen
- Eunice Jun
- Eva Darulova
- Ganesh Gopalakrishnan
- Grace Oh
- Gu-Yeon Wei
- Gus Henry Smith
- Haichen Shen
- Haisen Zhao
- Heiko Becker
- Ignacio Laguna
- Ilya Sergey
- James R. Wilcox
- Jared Roesch
- Jeffrey I. Lipton
- Jennifer Brennan
- Jonathan Jacky
- Joseph McMahan
- Josh Pollock
- Justin Solomon
- Karl Palmskog
- Konstantin Weitz
- Logan Weber
- Luis Ceze
- Magnus O. Myreen
- Marisa Kirisame
- Matthieu Martel
- Max Willsey
- Maya Cakmak
- Michael D. Ernst
- Michael Stepp
- Michael Taylor
- Mike He
- Milos Gligoric
- Molly Aubrey Carton
- Mu Li
- Nadia Polikarpova
- Nasrine Damouche
- Nickolai Zeldovich
- Oliver Flatt
- Pavel Panchekha
- Philip J. Guo
- Philip Zucker
- Ramana Kumar
- Ranjit Jhala
- Robert Rabe
- Rose Kunkel
- Ross Tate
- Ryan Doenges
- Samuel Coward
- Scott Davidson
- Sharad Malik
- Shoaib Kamil
- Sonya Alexandrova
- Sorin Lerner
- Stefan Heule
- Stefani Banerian
- Steve Anton
- Steven Lyubomirsky
- Stuart Pernsteiner
- Sudipta Kundu
- Talia Ringer
- Taylor Blau
- Thierry Tambe
- Thomas E. Anderson
- Tianqi Chen
- Valentin Robert
- Vin Sharma
- Wei Chen
- Xi Wang
- Yi Li
- Yida Wang
- Yihong Zhang
- Yisu Remy Wang
- Yong Kiam Tan
- Yong Wu
- Zhi Chen