Registered user since Tue 17 Feb 2015

Name: Jedidiah McClurg

Country: United States

Affiliation: University of Colorado Boulder

Personal website: http://www.jrmcclurg.com/

Research interests: Programming Languages, Verification, Synthesis, Software-Defined Networking

PLDI 2015 Activities

• Author of Efficient Synthesis of Network Updates within the Research Papers-track in PLDI 2015
• Show activities from other conferences