CISA Seminar: Paul Anderson Almost all big installations and services now depend on specifications written in languages such as "Puppet" to deploy and manage their underlying infrastructure. But these languages are almost always developed in an ad-hoc way which makes them very difficult to verify or reason about - or even to understand and use correctly. The resulting configuration errors are a frequent cause of system failures. I will give a little background on declarative configuration languages in general, and talk about some of the characteristics of the problem which typically cause trouble in practice. Then, I will use a few examples involving Lego minifigures to illustrate some features of an experimental language (L3) which is intended to help address these problems. Feb 29 2016 14.00 - 15.00 CISA Seminar: Paul Anderson Describing System Configurations (well, Lego Minifigures really) with L3 IF 4.31/4.33
CISA Seminar: Paul Anderson Almost all big installations and services now depend on specifications written in languages such as "Puppet" to deploy and manage their underlying infrastructure. But these languages are almost always developed in an ad-hoc way which makes them very difficult to verify or reason about - or even to understand and use correctly. The resulting configuration errors are a frequent cause of system failures. I will give a little background on declarative configuration languages in general, and talk about some of the characteristics of the problem which typically cause trouble in practice. Then, I will use a few examples involving Lego minifigures to illustrate some features of an experimental language (L3) which is intended to help address these problems. Feb 29 2016 14.00 - 15.00 CISA Seminar: Paul Anderson Describing System Configurations (well, Lego Minifigures really) with L3 IF 4.31/4.33
Feb 29 2016 14.00 - 15.00 CISA Seminar: Paul Anderson Describing System Configurations (well, Lego Minifigures really) with L3
