• Sign in
  • Sign up
conf.researchr.org / Doug Woos
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2018 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • SPLASH 2016 profile
  • SPLASH 2019 profile
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

Share
xSat 28 May 22:38
using conf.researchr.org (v1.55.6)
Support page
Sign Up