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.
We meet weekly during the semester to read and discuss PL papers. You can see the current semester's schedule here.
News
-
Congratulations to Dr. Anh Tran for defending his thesis! He will be joining Intel as an AI Algorithms Researcher.
-
Artem will be speaking about "Golden models for numerical datapath" at FPTalks 2026 on August 6, 2026!
-
Congratulations to Jesus on defending his BS thesis, "Fuzzing for Web Browser Under-Invalidation Bugs"!
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
Ashton Wiersdorf
Artem Yadrov
Undergrads
Mitch Briles
Jackson Brough
Jonas Regehr
Ph.D. Alumni
- Tripti Agarwal AWS
- Yuyou Fan Apple
- Marisa Kirisame AWS
- Anh Tran Intel
- 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
- Jesus Ponce GD
- Alex Richins Tenstorrent
- Ayushi Sharma SoFi
- Pranav Shenoy Microsoft
- William Shupe Voze