Berkeley Churchill

Registered user since Mon 12 Nov 2018

Name: Berkeley Churchill

Country: United States

Affiliation: Stanford University

Personal website:

Research interests: Formal Verification, Equivalence Checking, Computer Security


PLDI 2019Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track
SPLASH 2015Author of Conditionally Correct Superoptimization within the OOPSLA-track
SPLASH 2013Author of Data-Driven Equivalence Checking within the OOPSLA-track