Rian Shambaugh

According to our database¹, Rian Shambaugh authored at least 3 papers between 2015 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Fission: Secure Dynamic Code-Splitting for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Rehearsal: a configuration verification tool for puppet.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

On Static Verification of Puppet System Configurations.

[BibT_eX]

[DOI]

CoRR, 2015