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

Rehearsal: a configuration verification tool for puppet. - Rian Shambaugh; Aaron Weiss; Arjun Guha (PLDI, 2016)

Fission: Secure Dynamic Code-Splitting for JavaScript. - Arjun Guha; Jean-Baptiste Jeannin; Rachit Nigam; Jane Tangen; Rian Shambaugh (SNAPL, 2017)