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