ICORE Conference Portal

Sign in with LinkedIn
Signing in with LinkedIn authorizes us to store your name, email address, headline and display picture. why?
Back to search

Static Analysis Symposium

Acronym: SAS
DBLP Source: https://dblp.uni-trier.de/db/conf/sas
Source: CORE2023
Rank: B
Field Of Research: 4612 - Software engineering (h-index) (citation)
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering
Used as comparator, downrank to B (Data 1) (Data 2) (Decision)
Source: CORE2020
Rank: A
Field Of Research: 4612 - Software engineering
Source: CORE2018
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2017
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics†
duplicates in DB, ranked A, C. Initially retained C, but later revised to retain A, but on list to review with some others as potentially borderline A/ B. (Data 1) (Decision)
Source: CORE2014
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2013
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: ERA2010
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2008
Rank: A
FoR Codes with a † may be old and no longer in use

Comments (21)

Average User Rating: 4.8

Welcoming: 4.8
Feedback: 4.7
Networking: 4.7
Interaction: 4.7
Top people: 4.8
Worthwhile: 4.8

Sort by:

Bardin Sébastien wrote: April 29, 2017, 7:33 p.m.
Please be serious, SAS is clearly a A conference.

Rating:

The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Deepak DSouza wrote: July 6, 2017, 4:16 a.m.
SAS is a well-established conference in the area of Program Analysis and Verification.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
There is a culture of interaction and feedback following presentations:
Overall, attending this conference is worthwhile:
Pichardie David wrote: July 28, 2017, 5:47 p.m.
SAS is a clear A. Anyone knowledgable in program verification will confirm that.

Rating:

Referees for this conference provide high quality detailed feedback:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Francesco Ranzato wrote: Aug. 9, 2017, 7:26 p.m.
This appears to be a mistake: SAS was an A in CORE 2014, and in the CORE 2017 SAS Data file, the "Existing Database Entries" reports an "International Symposium on Static Analysis", acronym ISSA, which does not exist. The whole Programming Language community could confirm that SAS definitely was and is an A conference.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Hermenegildo Manuel wrote: Aug. 9, 2017, 8:11 p.m.
This clearly seems to be a mistake. SAS has always been CORE A and then in 2017 it is suddenly listed as C, and associated with a strange "ISSA" acronym. Anyone in program analysis / programming languages can confirm that SAS is one of the very top conferences in the area, quite clearly an A. Please fix this mistake as soon as possible!

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Sandrine Blazy wrote: Aug. 9, 2017, 9:29 p.m.
The new rank is very surprising. SAS is a longstanding conference that will welcome its 24th edition this year. It is clearly a major conference in program verification and it should be ranked A.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Caterina Urban wrote: Aug. 10, 2017, 5:02 p.m.
This is NOT a case of duplicate in the database. The conference SAS is not the same as the ISSA workshop!!!

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Eran Yahav wrote: Aug. 10, 2017, 5:12 p.m.
SAS has always been CORE A and then in 2017 it dropped to C? Note that SAS is not the same as "ISSA" (what is ISSA?). Looks like a mistake that should be fixed.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Andreas Podelski wrote: Aug. 10, 2017, 7:51 p.m.
This can only be a mistake. SAS is a top venue.

Rating:

The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Josh Berdine wrote: Aug. 10, 2017, 8:31 p.m.
This must be a mistake, SAS is not ISAS, and SAS is definitely class A.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Ilya Sergey wrote: Aug. 11, 2017, 12:33 a.m.
Seems like an error in the ranking system, as SAS is one of top venues in the area of programming languages, program analysis and verification.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Liqian Chen wrote: Aug. 11, 2017, 12:34 a.m.
This must be a mistake! SAS has always been CORE A but it is so supprisely listed as C in 2017. Note that SAS (Static Analysis Symposium) is not ISSA (International Symposium on Static Analysis). SAS is a well-known conference in the area of program analysis and verification / programming languages. SAS is clearly CORE A.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Aleksandar Chakarov wrote: Aug. 11, 2017, 1:11 a.m.
This is the top conference venue for development of static analysis techniques and technologies. This is also among the top conference venues in Programming Languages and Verification and automated Formal Methods techniques. The rating is simply inaccurate, please consider revising. Thank you!

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Kedar Namjoshi wrote: Aug. 11, 2017, 4:44 a.m.
I strongly urge the committee to move the ranking back to 'A'. SAS is, and has long been, one of the top conferences in programming languages research.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Arie Gurfinkel wrote: Aug. 13, 2017, 12:31 p.m.
SAS is one of the top venues in program analysis. The change in ranking is clearly a mistake.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Jorge A. Navas wrote: Aug. 13, 2017, 12:46 p.m.
It must be a mistake. SAS is a top conference in the program verification community.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Temesghen Kahsai wrote: Aug. 14, 2017, 11:23 a.m.
SAS is a pioneer conference in the area of formal verification.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Xavier Rival wrote: Aug. 17, 2017, 11:52 p.m.
SAS is a top conference in program verification, and this rating can only be a mistake, in complete contradiction with the previous years. Moreover, many of the top results in program analysis have been published at SAS, so a "C" ranking is absurd.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Jérôme Feret wrote: Aug. 18, 2017, 12:41 a.m.
Ranked C ? There must be a mistake. SAS is one of the most important conference in program verification.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Sukyoung Ryu wrote: Aug. 18, 2017, 10:42 a.m.
SAS is a top conference in the program analysis community.

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:
Padgham Lin wrote: Oct. 25, 2017, 4:16 p.m.
To clarify: the duplicate record with acronym ISSA (chosen arbitrarily historically to not clash with another SAS) and name International Symposium on Static Analysis was indeed the same conference. This is confirmed by the proceedings at https://link.springer.com/chapter/10.1007/978-3-642-03237-0_12 which use this name and are clearly the SAS series proceedings. Duplicdation was confirmed to have occurred when CORE 2008 was merged with ERA2010 but the acronym had been changed. The conference has now been reviewed with improved data and the A rank has now currently been retained.

You must sign in to leave comments