New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair
Abstract elided by the publisher.
Related papers
- Synthesizing configuration file specifications with association rule learning OOPSLA 2017
- Staccato: A Bug Finder for Dynamic Configuration Updates ECOOP 2016
- Static detection of silent misconfigurations with deep interaction analysis OOPSLA 2021
- Building reliable, high-performance networks with the Nuprl proof development system JFP 2004
- Oracle-free repair synthesis for floating-point programs OOPSLA 2022
- Programming languages for programmable networks POPL 2012
- Probabilistic Automated Language Learning for Configuration Files CAV 2016
- Orwell - A Configuration Management System for Team Programming OOPSLA 1988