• 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

2019

SPLASH

  • Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track

2018

PLDI

  • Author of Modularity for Decidability of Deductive Verification with Applications to Distributed Systems within the PLDI Research Papers-track

2017

CoqPL

  • Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track

2016

SPLASH

  • Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track

PLDI

  • Committee Member in Artifact Evaluation Committee
  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

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
xSat 17 May 06:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up