Doug Woos

Registered user since Tue 17 Feb 2015

Name: Doug Woos

Country: United States

Affiliation: University of Washington

Personal website:

Research interests: Programming Languages, Operating Systems, Distributed Systems


PLDI 2018 Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Show activities from other conferences

PLDI 2018-profile
View general profile