Thomas Anderson -

Not registered as user yet

Name:Thomas Anderson

Affiliation:University of Washington

Contributions

CPP 2016	Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
PLDI 2015	Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track