John Regehr

Professor · School of Computing

compiler correctnesssoftware testingrandom program generationprogram verificationembedded systems

About

John Regehr is a professor at the University of Utah. His research focuses on using software tools to develop correct and efficient software, particularly through compiler testing and verification. He leads the development of Csmith, a random C program generator, and C-Reduce, a tool for reducing compiler bug triggers.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.