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
Show activities from other conferences

PLDI 2019-profile
View general profile