Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
John Regehr

Registered user since Sun 2 Nov 2014

Name: John Regehr

Country: United States

Affiliation: University of Utah

Personal website: http://www.cs.utah.edu/~regehr/

Research interests: compilers, testing

Contributions

PLDI 2021 Alive2: Bounded Translation Validation for LLVM
Show activities from other conferences

PLDI 2021-profile
View general profile