Berkeley Churchill

Registered user since Mon 12 Nov 2018

Name: Berkeley Churchill

Country: United States

Affiliation: Stanford University

Personal website: https://www.berkeleychurchill.com

Research interests: Formal Verification, Equivalence Checking, Computer Security

Contributions

PLDI 2019 Semantic Program Alignment for Equivalence Checking
Show activities from other conferences

PLDI 2019-profile
View general profile