We gratefully acknowledge support from
the Simons Foundation and member institutions.

James Cheney is qualified to endorse.

$\mu$Puppet: A Declarative Subset of the Puppet Configuration Language

James Cheney: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CR, cs.DB, cs.LO, cs.PL. (why?)

Weili Fu, Roly Perera and Paul Anderson are not registered as owners of this paper. (why?)