Configuration errors (also known as misconfigurations) have become one of the major causes of system failures, resulting in security vulnerabilities, application outages, and incorrect program executions. Building tools for configuration file support, management, and verification has been an active direction of research. As support for configuration files grows, so too does the scope of their application, for example in domains such as Infrastructure as Code.
The 1st International Workshop on Software Engineering for Infrastructure and Configuration Code (SEConfig) provides a venue for researchers and practitioners to come together and discuss the open challenges in the domain of configurations, broadly interpreted. For example, What new security risks develop in the Infrastructure as Code paradigm, and how can we mitigate these? As the definition of a configuration languages is more dynamic than traditional programming languages, how can our tools automatically adapt? How can we verify the correctness of configurations when some errors manifest at system initialization time, while others only manifest under particular system environments? What is the best way to discover configuration setting recommendations and present them to a developer? The goal of the workshop is to gain clarity and specificity on the current open challenges in the area and understand how techniques from industry and various academic fields (e.g., Software Engineering, Verification, Programming Languages) can come together to advance the community’s solutions.
Topics of interest include, but are not limited to:
- Infrastructure and configuration code maintenance and evolution
- Specification learning and mining for configurations
- Infrastructure and Configuration testing and verification
- Infrastructure as Code and configuration repair
- Analysis of configuration usage patterns
- Analysis of configuration failure patterns
- New languages for configuration
Accepted Papers
Call for Papers
SEConfig invites extended abstracts/short research papers, practice papers, and experience reports, position and vision papers. All kinds of papers will be two to four (2–4) pages long. Extended abstracts (2 pages) and short research papers (4 pages) present on-going work where authors want to start a discussion and receive feedback from the community. Practice papers and experience reports (2–4 pages) provide insight into problems and challenges faced in practice with possible steps for resolution and a call for further examination and discussion within the workshop. Position and vision papers (2–4 pages) formulate a higher-level perspective and present potential directions of the field.
All submissions should be made through EasyChair
SEConfig will be held on Friday, November 15, 2019.
For additional information, please also visit https://seconfig.github.io/.
Fri 15 NovDisplayed time zone: Tijuana, Baja California change
09:00 - 10:30 | |||
09:00 90mTalk | SEConfig Keynote: Noise in CI/CD data SEConfig Shane McIntosh McGill University |
09:00 - 17:30 | |||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 20mTalk | Identifying Network Configuration Errors from SIP Traffic by Learning State Machines SEConfig | ||
11:20 70mTalk | Synthesizing Mutable Configurations: Setting up Systems for Success SEConfig Tim Nelson Brown University, Natasha Danas Brown University, Theophilos Giannakopoulos Systems & Technology Research, Shriram Krishnamurthi Brown University, United States |
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 45mTalk | Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study SEConfig | ||
14:45 45mTalk | Toward Evaluation of Deployment Architecture of ML-based Cyber-Physical Systems SEConfig |
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 45mOther | HackerNews Roulette SEConfig | ||
16:45 45mOther | Breakout Poster Boarding SEConfig |