ACM Programming Language Design and Implementation, PLDI 2016


Article Details
Title: Rehearsal: a configuration verification tool for puppet
Article URLs:
Alternative Article URLs:
Authors: Rian Shambaugh
  • University of Massachusetts Amherst
Aaron Weiss
  • University of Massachusetts Amherst
Arjun Guha
  • University of Massachusetts Amherst
Sharing: Research produced no artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1408745
DBLP Key: conf/pldi/ShambaughWG16
Author Comments:

Discuss this paper and its artifacts below