conf.researchr.org / Thomas Anderson

Not registered as user yet

Name: Thomas Anderson

Affiliation: University of Washington

Contributions

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