Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Anderson
conf.researchr.org general profile
PLDI 2015 profile
POPL 2016 profile
Not registered as user
Name:
Thomas Anderson
Affiliation:
University of Washington
Contributions
2016
CPP
Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
2015
PLDI
Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track
Share
x
Thu 8 May 09:27
