Jane Street
Tech Talks

March 6, 2017

On Verification for System Configuration Languages

Presented by: Arjun Guha

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