Registered user since Tue 17 Feb 2015

Name: Doug Woos

Affiliation: University of Washington

PLDI 2015 Activities

• Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track in PLDI 2015
• Show activities from other conferences