The Programming Languages group at the University of Utah has a decades-long history of breakthroughs in pragmatic programming language research.
Notable projects developed/maintained by our group included CSmith, CReduce, Racket, Alive2, FPTaylor, and Herbie.
News
-
Congratulations to Dr. Marisa Kirisame for defending his thesis! He will be joining Amazon Web Services as a Research Scientist.
-
Congratulations to Dr. Yuyou Fan for defending his thesis! He will be joining Apple as a Compiler Engineer.
-
Thalia will be speaking on retrocomputing and the recovery of UNIX V4, with interactive demos of vintage '70s and '80s computers.
Faculty
Eric Eide
Matthew Flatt
Ganesh Gopalakrishnan
Ben Greenman
Jenny Han Lin
Pavel Panchekha
John Regehr
Ph.D. Students
Thalia Archibald
Harvey Dam
Hanwen Guo
Yumeng He
Dominic Kennedy
Bhargav Kulkarni
Dibri Nsofor
Andrew Riachi
Axel Sorenson
Anh Tran
Ashton Wiersdorf
Artem Yadrov
Undergrads
Mitch Briles
Jackson Brough
Jesus Ponce
Jonas Regehr
Ph.D. Alumni
- Tripti Agarwal AWS
- Yuyou Fan Apple
- Marisa Kirisame AWS
- Tanmay Tirpankar Nvidia
- Mark Baranowski UUtah
- Xinyi Li Together AI
- Zhengyang Liu Tenstorrent
- Vsevolod Livinskii Nvidia
- Manasij Mukherjee Nvidia
- Than Son Nguyen AWS
- Ian Briggs AWS
- Mohammed S. Al-Mahfoudh
- Vinu Joseph Nvidia
- Saeed Taheri eBay
- Jubi Taneja Gimlet Labs
- Arnab Das Apple
- Simone Atzeni Nvidia
- Sriram Aananthakrishnan Intel
- Wei-Fan Chiang Crogl
- Vishal Sharma AWS
- Peng Li Zoox
- Xuejun Yang Microsoft
- Yang Chen Anthropic
- Jianjun Duan ByteDance
- Anton Burtsev UUtah
- Subodh Sharma IIT-D
- Lu Zhao Secregen
- Anh Vo Microsoft
- Guodong Li Apple
- Sarvani Vakkalanka Google
- Yu Yang Verkada
- Xiaofang Chen Pinterest
- Nathan Cooprider STR
- Robert Palmer Qualcomm
- Ritwik Bhattacharya Careforth
- Ali Sezgin Meta
- Yue Yang Oracle Health
- Mike Jones BYU
- Ravi Hosabettu Microsoft
- Ratan Nalumasu Google
- Prabhakar Kudva IBM
- Venkatesh Akella UCDavis
M.Sc. and B.Sc. Alumni
- Ryan Berger Nvidia
- Suyasha Bobhate Goldman Sachs
- Garrett Brothers WesTech
- Isaac Buehner
- Venkat Chakravarthy Amazon
- Yuvaraj Chesetti NortheasternU
- Cooper G. Coradeschi
- Nathan Davis ICE Mortage
- Parth Rajeshbhai Desai UUtah
- Usit Duongsaa
- Zane Enders 1-800 Contacts
- Oliver Flatt UWash
- JJ Garzella UCSD
- Skyler Griffith
- Pranav Kant Google
- Yash Lad Amazon
- Stefan Mada Nvidia
- Rohit Pagariya Microsoft
- Alex Richins Tenstorrent
- Ayushi Sharma SoFi
- Pranav Shenoy Microsoft
- William Shupe Voze