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
-
Thalia will be speaking about "UNIX V4 and the Utah Teapot" at SIGGRAPH'26 on July 23, 2026.
-
Ashton will be at PLDI'26 talking about "Bushwacking towards event-driven Chorex" at the Choreographic Programming Workshop.
-
Dr. An Qi Zhang will be at PLDI'26 presenting his accepted paper "A Formally Verified Foundation for Compositional Heterogeneous Coherence".
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