Rian Shambaugh

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Fingerprint Verification

Multiresolution

Optimal Configuration

Top Venues

Publications

Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh
Fission: Secure Dynamic Code-Splitting for JavaScript. SNAPL (2017)
Rian Shambaugh, Aaron Weiss, Arjun Guha
Rehearsal: a configuration verification tool for puppet. PLDI (2016)
Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha
On Static Verification of Puppet System Configurations. CoRR (2015)