Jane Street
Tech Talks

March 6, 2017

On Verification for System Configuration Languages

Arjun Guha
University of Massachusetts, Amherst

Puppet is a configuration management system used by hundreds of organizations to manage thousands of machines.