Refereed papers
Technical contributions presented in the symposium program, including full papers on theoretical and applied aspects of static analysis.
Software Eng/CORE B
SAS 2025
International Static Analysis Symposium
SAS 2025 is the 32nd International Symposium on Static Analysis, held as part of SPLASH 2025 in Singapore. It serves as a premier venue for presenting theoretical, practical, and applied advances in static analysis, including abstract interpretation, program verification, compiler optimization, and automated reasoning, with a focus on both foundational research and real-world applications.
Key deadlines
Verified September 9, 2026Full paper
May 5, 2025
AoE
Conference timeline
Submission and decisions
Full paperKey deadline
May 5, 2025 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Invited lectures
Keynote talks and invited presentations by leading researchers in the field.
Research areas in scope
01
Topics
Abstract interpretationAutomated deductionData flow analysisDebugging techniquesDeductive methodsEmerging applicationsModel-checkingData scienceProgram optimizations
Policies worth checking twice
- Contributions are subject to peer review.
- Papers must be original and not submitted concurrently to other conferences with proceedings.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Official conference siteVenue (Sunday Workshops): NUS School of ComputingVenue (FARM Performance): Yong Siew Toh ConservatoryHotels: Concorde Hotel SingaporeHotels: Rendezvous Hotel SingaporeICFP/SPLASH Live Streams
Last verified September 9, 2026