Static Analysis for Software Engineering

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

• Agentic Engineering — Explores the design, development, and operation of goal-directed autonomous systems built on foundation models and...
• AI for Software Quality Evaluation — Examines how LLMs and autonomous agents can evaluate software quality and correctness, covering judgment models,...
• Bots and Agents in Software Engineering — Brings together researchers and practitioners to discuss how automated bots and LLM-powered agents can handle...
• Deep Learning for Testing — Explores research at the intersection of software testing and deep learning, covering both the application...
• Designing Software — Brings together researchers, practitioners, and educators focused on software design as an activity, identifying new...
• Dark Software Engineering — Addresses the deliberate misuse of software engineering practices to deceive or exploit people, spanning manipulative...
• Engineering and Cybersecurity of Critical Systems — Focuses on secure development, operational cybersecurity, and human factors in critical infrastructure protection, with emphasis...
• AI Solutions for SE in Financial Firms — Covers under-explored SE challenges in finance including defect prediction, legacy system modernization, regulatory compliance, and...
• Flaky Tests Workshop — Brings together researchers and industry practitioners to discuss the causes, detection, repair, and mitigation of...
• Games and Software Engineering — Addresses challenges in developing entertainment games, serious games, and gamified applications through an interdisciplinary lens...
• Genetic Improvement — Focuses on using automated search-based and evolutionary techniques to improve software systems, exploring methods for...
• Green and Sustainable Software — Explores how to apply green principles to the design and operation of software-intensive systems, examining...
• Integrated Development Environments — Focuses on research and innovation in IDE tools, technologies, and practices, examining how development environments...
• Software-intensive Business — Brings together researchers and practitioners from SE, information systems, and management to explore how software...
• Journal Ahead Workshop — Offers a two-step process where authors present early-stage ideas at the workshop, then submit fully...
• Low-Code Development and Software Architecture — Explores the relationship between low-code development and software architecture, examining how architectural patterns and quality...
• Large Language Models for Code — Focuses on the application and implications of large language models in software development and code-related...
• Multi-disciplinary Requirements Engineering — Brings together researchers and practitioners to address requirements engineering from multiple disciplinary perspectives, discussing challenges...
• Modeling and Simulation of Software-Intensive Systems — Focuses on simulation modeling for analysis, design, and optimization of complex cyber-physical systems and digital...
• Natural Language-based Software Engineering — Explores how NLP techniques and large language models apply to software engineering tasks such as...
• Neuro-Symbolic Software Engineering — Explores the integration of symbolic reasoning and machine learning to address software engineering challenges, combining...
• Quantum Software Engineering — Addresses challenges in developing reliable quantum applications, covering testing, verification, programming languages, and practical industrial...
• Responsible AI Engineering — Brings together software engineers, AI researchers, ethicists, and regulatory experts to develop methods for building...
• Requirements Engineering for AI-powered Software — Examines how requirements engineering must evolve to support fair, transparent, and trustworthy AI-driven applications, particularly...
• Code Translation, Transformation, and Modernization — Addresses challenges in migrating code across languages, refactoring legacy systems, and enabling software modernization through...
• Search-Based and Fuzz Testing — Focuses on search-based and fuzzing methodologies for improving software quality and reliability, covering automated test...
• Software Engineering in the Global South — Dedicated to software engineering challenges and solutions in the Global South, covering context-specific methodologies, AI...
• Software Engineering for the IoT — Addresses challenges in developing robust software for IoT devices and systems, covering SE practices, security,...
• Software Engineering and Research Software — Bridges the gap between software engineering researchers and research software developers, identifying new challenges and...
• Software Engineering for Systems-of-Systems — Focuses on SE methods for complex systems-of-systems and software ecosystems, addressing platform governance, security, stakeholder...
• Software Vulnerability Management — Brings together academics, industry, and government to discuss vulnerability detection, assessment, prioritization, fixing, and reporting...
• SWEBOK Summit — Gathers practitioners, researchers, and educators to discuss the Software Engineering Body of Knowledge, covering SE...
• User Interface and Experience for SE — Covers designing, testing, and evolving UIs across platforms, with emphasis on AI-driven UI generation, accessibility...
• Emerging Trends in SE for Blockchain — Discusses progress and open problems in applying software engineering to blockchain systems, covering smart contract...
• Methodological Issues with Empirical Studies in SE — Increases awareness of methodological quality in empirical SE research, addressing study design, validity threats, and...