Papers in 2025
16
Papers, all years
875
Years indexed
35
Since
1991
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202516 papers✓ verified
Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2025 · papers count once per institution on them
Academia 79%Industry 0%Government and other 21%
Institutions
- 1Vrije Universiteit Brussel🇧🇪3
- 2Institut national de recherche en sciences et technologies du numérique🇫🇷2
- 3National University of Singapore🇸🇬2
- 4Technion – Israel Institute of Technology🇮🇱2
- 5Rutgers, The State University of New Jersey🇺🇸1
- 6University of Verona🇮🇹1
- 7Pohang University of Science and Technology🇰🇷1
- 8University of Copenhagen🇩🇰1
- 9Georgia Institute of Technology🇺🇸1
- 10University of Illinois Urbana-Champaign🇺🇸1
- 11Université du Québec à Montréal🇨🇦1
- 12Shanghai Jiao Tong University🇨🇳1
Countries
- Belgium3
- France3
- China2
- Israel2
- Singapore2
- United States2
- Canada1
- Denmark1
- Italy1
- Japan1
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.
Venues like SAS
Closest by the phrases in their paper titles over the last five complete years.
- CAV International Conference on Computer-Aided Verification0.20verifyingprogramsverifierverificationsmt
- VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation0.17constrained horninterpretationhornprogramsverification
- PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.15programsprogramverificationtypesverified
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.15programsprogramalgebraic data typesinterpretationtypes
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.15programsprogramsmtverificationprogram verification
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
2.9 in 2025
Papers by an entirely new team
44% in 2025
Most published at SAS
- Roberto Giacobazzi1991 to 202318
- David Monniaux1999 to 202116
- Thomas W. Reps2002 to 202416
- Helmut Seidl1996 to 202315
- Antoine Miné2002 to 202413
- Isabella Mastroeni2005 to 202512
- Thomas P. Jensen1992 to 202511
- Enea Zaffanella1997 to 202311
- Sriram Sankaranarayanan2004 to 202111
- Patrick Cousot1991 to 201910