Not registered as user yet

Name: Thomas Anderson

Affiliation: University of Washington

Contributions

PLDI 2015 Verdi: A Framework for Formally Verifying Distributed System Implementations
Show activities from other conferences

PLDI 2015-profile
View general profile