Skip to content

SAS 2026

International Static Analysis Symposium

Software Engineering

Cycle closed, awaiting the next call

All deadlines

AbstractMay 1, 2026est.
Paper submissionMay 7, 2026est.

From past proceedings

Papers in SAS's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

16

main DBLP volume

5-year change

+0%

vs 2020

Papers, all years

875

35 years since 1991

Authors per paper

2.9

3.0 in 2015

By an entirely new team

44%

of 2025 papers

Papers per year1991 to 2025
1991: 33 papers1992: 35 papers1993: 24 papers1994: 29 papers1995: 27 papers1996: 28 papers1997: 33 papers1998: 23 papers1999: 23 papers2000: 22 papers2001: 28 papers2002: 35 papers2003: 27 papers2004: 27 papers2005: 24 papers2006: 27 papers2007: 28 papers2008: 24 papers2009: 23 papers2010: 28 papers2011: 27 papers2012: 29 papers2013: 25 papers2014: 20 papers2015: 18 papers2016: 24 papers2017: 22 papers2018: 25 papers2019: 22 papers2020: 16 papers2021: 22 papers2022: 20 papers2023: 23 papers2024: 18 papers2025: 16 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

programssynthesisdefinitional interpretersinterpretationneuralverifying

Venues like SAS

  1. CAV International Conference on Computer-Aided Verification0.20verifyingprogramsverifierverification
  2. VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation0.17constrained horninterpretationhornprograms
  3. PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.15programsprogramverificationtypes
  4. POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.15programsprogramalgebraic data typesinterpretation

Most published at SAS

  1. Roberto Giacobazzi1991 to 202318
  2. David Monniaux1999 to 202116
  3. Thomas W. Reps2002 to 202416
  4. Helmut Seidl1996 to 202315
  5. Antoine Miné2002 to 202413

Who publishes here

2025 · papers count once per institution on them

Academia 79%Industry 0%Government and other 21%

Institutions

  1. 1Vrije Universiteit Brussel🇧🇪3
  2. 2Institut national de recherche en sciences et technologies du numérique🇫🇷2
  3. 3National University of Singapore🇸🇬2
  4. 4Technion – Israel Institute of Technology🇮🇱2
  5. 5Rutgers, The State University of New Jersey🇺🇸1
  6. 6University of Verona🇮🇹1
  7. 7Pohang University of Science and Technology🇰🇷1
  8. 8University of Copenhagen🇩🇰1

Countries

  1. Belgium3
  2. France3
  3. China2
  4. Israel2
  5. Singapore2
  6. United States2

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.