Resilient Systems

More workshops at IEEE/ACM International Conference on Automated Software Engineering 2026

• Agentic AI for Software Development — Explores autonomous AI agents that write, test and maintain software, the area that has moved...
• AI in Software Modernization — Covers using AI to modernize legacy software systems and codebases, a problem with enormous industrial...
• Automated Program Repair — Focuses on techniques for automatically finding and fixing software bugs, one of the longest-running threads...
• Automated and Verifiable Software Development — Covers automation and formal verification in software system development, joining two communities that often work...
• Automated Techniques in SE Research — Examines automated methods and tooling used in software engineering research itself, which makes it unusually...
• Configuration Languages — Covers the design, analysis and tooling of configuration languages, an area whose practical importance is...
• CPAchecker — A workshop built around the CPAchecker software verification framework, which is a tool-focused format rather...
• Advanced Testing Technology — Focuses on emerging technologies and directions in software testing, covering where the field is heading...
• Harness Engineering for Generative UI — Covers engineering the test and evaluation harnesses for generative user interfaces, where the interface itself...
• Journal Ahead Workshop — A presentation track for recently journal-accepted software engineering research, rather than a workshop with its...
• Symbolic Execution with KLEE — A workshop built around the KLEE symbolic execution engine and its applications, a tool-focused format...
• Live Writing — A hands-on academic writing session for software engineering researchers, not a paper track. Participants work...
• Multi-agent GenAI for ASE — Explores multi-agent generative AI systems applied to software engineering tasks, where several specialised agents collaborate...
• PromptOps and Vibe Coding — Covers prompt engineering operations and language-model-driven exploratory coding practices, taking seriously a way of working...
• Reliable and Trustworthy ASE — Focuses on reliability and trustworthiness in automated software engineering, which matters increasingly as more of...
• Software Security Testing — Focuses on automated techniques for testing software security, covering the tooling that finds vulnerabilities before...
• Software Genomics — Applies genomics-inspired analysis to understanding and evolving software, treating a codebase as something with lineage,...
• Trustworthy and Responsible Autonomous Systems — Covers trust, safety and responsibility in autonomous software systems, meaning systems that act in the...