SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
John Regehr

Registered user since Sun 2 Nov 2014

Name: John Regehr

Affiliation: University of Utah

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

Research interests: compilers, testing

Contributions

SPLASH 2020 Random Testing for C and C++ Compilers with YARPGen
Dataflow-Based Pruning for Speeding up Superoptimization
Show activities from other conferences

SPLASH 2020-profile
View general profile