John Regehr

Professor · School of Computing

compiler correctnesssoftware testingrandom program generationprogram verificationembedded systems

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。