On Static Verification of Puppet System Configurations. - Joseph M. Collard; Nimish Gupta; Rian Shambaugh; Aaron Weiss; Arjun Guha (CoRR, 2015)

Morpheus: Safe and Flexible Dynamic Updates for SDNs. - Karla Saur; Joseph M. Collard; Nate Foster; Arjun Guha; Laurent Vanbever; Michael W. Hicks (CoRR, 2015)

The Sweep: Essential Examples for In-Flow Peer Review. - Joe Gibbs Politz; Joseph M. Collard; Arjun Guha; Kathi Fisler; Shriram Krishnamurthi (SIGCSE, 2016)

Safe and Flexible Controller Upgrades for SDNs. - Karla Saur; Joseph M. Collard; Nate Foster; Arjun Guha; Laurent Vanbever; Michael W. Hicks (SOSR, 2016)