Doug Woos -

Registered user since Tue 17 Feb 2015

Name:Doug Woos

Country:United States

Affiliation:University of Washington

Personal website:www.dougwoos.com

Research interests:Programming Languages, Operating Systems, Distributed Systems

Contributions

SPLASH 2019	Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track
PLDI 2018	Author of Modularity for Decidability of Deductive Verification with Applications to Distributed Systems within the PLDI Research Papers-track
CoqPL 2017	Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
CPP 2016	Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
PLDI 2016	Committee Member in Artifact Evaluation Committee Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2016	Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track
PLDI 2015	Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track