Probabilistic Automated Language Learning for Configuration Files
No abstract available.
Related papers
- Synthesizing configuration file specifications with association rule learning OOPSLA 2017
- In-situ workflow auto-tuning through combining component models PPoPP 2021
- New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair SAS 2018
- Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning CAV 2021
- Supporting large scale model transformation reuse GPCE 2013
- Extending AALpy with Passive Learning: A Generalized State-Merging Approach CAV 2025
- SuperC: parsing all of C by taming the preprocessor PLDI 2012
- NixOS: a purely functional Linux distribution ICFP 2008