Zachary Tatlock
News
Students
Publications
Teaching
More
Projects
Talks
Service
Collaborators
Contact
CV
About
Advice
Collaborators
I have been very fortunate to work on projects with some amazing folks over the years.
Adam Anderson
Adam Chlipala
Adam T. Geller
Adriana Schulz
Alex Sanchez-Stern
Altan Haan
Amy Zhu
Anat Caspi
Andrew Liu
Antony Hosking
Arvind Krishnamurthy
Bill Harris
Bill Zorn
Brett Saiki
Calvin Loncaric
Chandrakana Nandi
Chen Qiu
Chenming Wu
Chris Tucker
Dan Grossman
Daniel Ricketts
Daryl Zuniga
David Lazar
David Shuffelton
David Thien
Dongseok Jang
Doug Woos
Ellis Michael
Emina Torlak
Eric Mullen
Eunice Jun
Eva Darulova
Grace Oh
Gus Smith
Haisen Zhao
Heiko Becker
Ilya Sergey
James R. Wilcox
Jared Roesch
Jeffrey I. Lipton
Jifan Zhang
Jonathan Jacky
Joseph Redmon
Josh Pollock
Juliet Oh
Justin Adsuara
Karl Palmskog
Keith Simmons
Konstantin Weitz
Logan Weber
Luis Ceze
Luke Nelson
Magnus O. Myreen
Marisa Kirisame
Matthieu Martel
Max Willsey
Maya Cakmak
Melissa Hovik
Michael D. Ernst
Michael Stepp
Mike He
Milos Gligoric
Miranda Edwards
Nasrine Damouche
Nickolai Zeldovich
Paul Curry
Pavel Panchekha
Philip J. Guo
Ramana Kumar
Ranjit Jhala
Ross Tate
Ryan Doenges
Seth Pendergrass
Shoaib Kamil
Sonya Alexandrova
Sorin Lerner
Stefan Heule
Stefani Banerian
Steve Anton
Steven Lyubomirsky
Stuart Pernsteiner
Sudipta Kundu
Suresh Jagannathan
Talia Ringer
Taylor Blau
Thomas E. Anderson
Tianqi Chen
Valentin Robert
William R. Harris
Xi Wang