AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
A Minitrack in the Software Technology Track at the
Hawaii International Conference on System Sciences (HICSS) 2026
January 6-9, 2026 | Lahaina, Hawaii
Call for Papers
April 15 - June 15, 2025
Known worldwide as the longest-standing working scientific conference in Information Technology Management, HICSS provides a highly interactive environment for top scholars from academia and industry to exchange ideas in various areas of information, computer, and system sciences.
The integration of artificial intelligence (AI) into program analysis and software synthesis is reshaping the landscape of software engineering. AI-powered techniques are revolutionizing defect detection, performance optimization, security assurance, and software generation, enabling more intelligent, efficient, and scalable approaches. As modern software systems grow in complexity—spanning distributed architectures, microservices, and AI/ML-driven components—traditional program analysis techniques struggle to maintain scalability, precision, and adaptability. AI methodologies, including machine learning (ML), deep learning, and large language models (LLMs), are emerging as transformative forces that enhance program analysis frameworks and drive the automation of software development, modification, and evolution.
This minitrack provides a platform for discussing the latest advances at the intersection of AI and program analysis, with a focus on innovative methodologies, automated software synthesis techniques, practical implementations, and real-world case studies. The goal is to foster collaboration between academia and industry, bridging theoretical research with applied solutions to advance the state of the art in AI-augmented software engineering.
Important Dates (all deadlines 11:59 p.m. HST)
Paper Submission
Deadline
June 15, 2025
Notification of
Acceptance
August 17, 2025
Final Manuscript for
Publication
September 22, 2025
Conference Registration
(at Least One Author)
October 1, 2025
Key Themes
- AI-Powered Static Analysis: Leveraging machine learning and deep learning models to improve the accuracy, efficiency, and scalability of static code analysis, including vulnerability detection, type inference, and performance profiling.
- Machine Learning for Dynamic Analysis: Using AI techniques for runtime monitoring, anomaly detection, predictive debugging, and intelligent test case generation.
- AI-Augmented Software Synthesis and Modification: Exploring AI-driven techniques for automated code generation, program transformation, refactoring, and patch synthesis.
- AI-Driven Software Generation: Investigating generative AI models for automated software creation, including domain-specific code generation, AI-assisted software design, and automated system architecture synthesis.
- Integration of AI and Program Analysis Frameworks: Investigating how AI models can be seamlessly integrated into traditional program analysis tools, enhancing their adaptability and effectiveness.
- Applications of AI-Augmented Analysis and Software Synthesis: Examining use cases in software verification, automated repair, security assessment, and performance optimization.
- Benchmarks and Datasets for AI-Augmented Analysis: Discussing the need for standardized datasets, benchmark suites, and evaluation metrics to advance research in AI-driven program analysis.
- Real-World Case Studies and Challenges: Showcasing industry implementations, lessons learned, and the challenges of deploying AI-powered program analysis tools at scale.
- Emerging Trends and Future Directions: Identifying open research problems, novel AI techniques, and future possibilities for enhancing software engineering practices through AI.
Topics
We welcome contributions that explore theoretical advancements, algorithmic innovations, tool and framework development, empirical evaluations, and case studies related to AI-augmented program analysis and software synthesis. Topics include, but are not limited to:
- AI-assisted bug detection, vulnerability identification, and security assurance
- Large language models (LLMs) for software analysis, synthesis, and code generation
- AI-driven program transformation, refactoring, and automated patching
- Intelligent test case generation and automated debugging techniques
- Neural program synthesis and reinforcement learning for software engineering
- AI-enhanced compiler optimizations and performance tuning
- Automated reverse engineering and decompilation using AI techniques
- Hybrid approaches combining formal methods with AI-driven analysis
- Ethical, interpretability, and reliability concerns in AI-augmented program analysis
- Tools, datasets, and benchmark suites for evaluating AI-driven software engineering solutions
- AI-driven software generation and evolution, including automated code completion, software design pattern synthesis, and program synthesis for specialized domains
- AI-powered automated software architecture design, enabling the generation of modular and scalable software systems
- Code generation techniques leveraging transformer-based models, generative adversarial networks (GANs), and other deep learning approaches
This minitrack is designed to facilitate cross-disciplinary dialogue, encouraging collaboration between researchers, software engineers, and industry professionals who are leveraging AI to transform software engineering. By bridging AI research with practical software development challenges, we aim to advance the capabilities of AI-powered program analysis and software synthesis, ultimately improving the reliability, security, and efficiency of modern software systems.
Minitrack Co-Chairs
Dr. Ryan Karl is an embedded software engineer at the SEI specializing in resilient, safety-critical systems.
Ryan Karl, PhD
Shen Zhang is a senior software engineer at the SEI with a technical background in process simulation, industrial control systems, and power generation.
Shen Zhang
