SAS
The Static Analysis Symposia
Description
Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of International Static Analysis Symposia (SAS) serves as the primary venue for presentation of theoretical, practical, and application advances in the area.
Topics
Contributions to the technical program for Static Analysis Symposia typically consist of invited lectures and presentations of refereed papers. While each edition is independent, traditionally contributions are welcome on all aspects of static analysis, including, but not limited to:
abstract domains | abstract interpretation | |
abstract testing | bug detection | |
data flow analysis | model checking | |
new applications | program transformation | |
program verification | security analysis | |
theoretical frameworks | type checking |
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, GPU programming, etc. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcome.
Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant.
Artifacts
Since 2013 SAS is encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in papers. The goal of the artifact submissions is to strengthen adherence to the scientific approach in the evaluations and reproducibility of results in our field.
Artifact submission is optional at the SAS conferences. The submitted artifacts are used by the program committee as a secondary evaluation criteria that will provide additional positive arguments for the paper's acceptance. Submissions without artifacts are still welcome and are not penalized. Some SAS editions publish artifacts of accepted papers.
Radhia Cousot Award
Starting in 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences.
Recipients of the award:- Aleksandar Chakarov (University of Colorado, Boulder, CO, USA), Expectation Invariants for Probabilistic Program Loops as Fixed Points (with Sriram Sankaranarayanan)
- Marianna Rapoport (University of Waterloo, Ontario, Canada), Precise Data Flow Analysis in the Presence of Correlated Method Calls (with Ondrej Lhoták and Frank Tip)
- Stefan Schulze Frielinghaus (Technishe Universität Müuchen, Germany), Enforcing Termination of Interprocedural Analysis (with Helmut Seidl and Ralf Vogler)
- Suvam Mukherjee (Indian Institute of Science, Bangalore, India) and Oded Padon (Tel Aviv University, Israel), Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs (with Sharon Shoham, Deepak D'Souza, and Noam Rinetzky)
- Zvonimir Pavlinovic (New York University, New York, NY, USA)
The Impact of Program Transformations on Static Program Analysis
(with Kedar S. Namjoshi)
Nimit Singhania (University of Pennsylvania, Philadelphia, PA, USA) Block-Size Independence for GPU Programs (with Rajeev Alur and Joseph Devietti) -
Anna Becchi (University of Udine, Italy), Revisiting Polyhedral Analysis for Hybrid Systems (with Enea Zaffanella)
Yuxiang Lei (University of Technology Sydney, Australia), Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis (with Yulei Sui)
- Sung Kook Kim (University of California, USA), Memory-Efficient Fixpoint Computation (with Arnaud Venet and Aditya Thakur)
- Tianhan Lu (University of Colorado, Boulder, CO, USA), Selectively-Amortized Resource Bounding (with Bor-Yuh Evan Chang and Ashutosh Trivedi)
- Daneshvar Amrollahi, Marcel Moosbrugger and Miroslav
Stankovic (TU Wien Informatics, Austria), Solving Invariant Generation for Unsolvable Loops (with Ezio Bartocci, George Kenison, and Laura Kovács).
-
Josselin Giet (INRIA Paris/CNRS/École Normale
Supérieure/PSL Research University) and Felix Ridoux
(IMDEA Software Institute, Madrid, Spain and Univ Rennes,
F-35000 Rennes, France),
A
Product of Shape and Sequence Abstractions (with
Xavier Rival).
Next Edition
The 31th Static Analysis Symposium, SAS 2024, will be held in Pasadena, CA, US, co-located with SPLASH 2024.
Previous Editions
The series of Static Analysis Symposia has been held in Cascais, Portugal (2023), Auckland, New Zealand (2022), Chicago (2021), the whole Internet (initially planned in Chicago, Illinois, United States) (2020), Porto, Portugal (2019), Freiburg, Germany (2018), New York (2017), Edinburgh (2016), Saint-Malo (2015), Munich (2014), Seattle (2013), Deauville (2012), Venice (2011), Perpignan (2010), Los Angeles (2009), Valencia (2008), Kongens Lyngby (2007), Seoul (2006), London (2005), Verona (2004), San Diego (2003), Madrid (2002), Paris (2001), Santa Barbara (2000), Venice (1999), Pisa (1998), Paris (1997), Aachen (1996), Glasgow (1995), and Namur (1994). SAS predecessors were the series of Workshops on Static Analysis held in Padova (1993) and Bordeaux (1992 and 1991).
Steering Committee
The SAS Steering Committee (2023) is:
Manuel Hermenegildo | UPM and IMDEA Software Institute, Spain | SAS 2023 PC co-chair |
José F. Morales | UPM and IMDEA Software Institute, Spain | SAS 2023 PC co-chair |
Caterina Urban | Inria and Ecole Normale Supérieure, France | SAS 2022 PC co-chair |
Gagandeep Singh | University of Illinois at Urbana-Champaign and VMware Research, USA | SAS 2022 PC co-chair |
Cezara Dragoi | Inria / ENS / Informal Systems, France | SAS 2021 PC co-chair |
Kedar Namjoshi | Nokia Bell Labs, USA | SAS 2021 PC co-chair |
Mihaela Sighireanu | LSV, ENS Paris-Saclay, France | SAS 2020 PC co-chair |
David Pichardie | Univ Rennes, ENS Rennes, IRISA, France | SAS 2020 PC co-chair |
Bor-Yuh Evan Chang (SC Chair) | University of Colorado Boulder, USA | SAS 2019 PC chair |
Patrick Cousot | New York University, USA | Honorary senior member |
Composition and duties: Since 2017 the SAS SC is formed on a dynamic, rotating basis by including the Program Committee (PC) chairs of the last 5 editions of SAS, i.e., the SC for year X consists of the PC chairs of SAS X, X-1, X-2, X-3, X-4, and the SC chair(s) are the PC chair(s) of SAS X-4. Moreover, to preserve the historical memory of the SC, the founding chair of the SC, Patrick Cousot, is included as an honorary senior member. The SAS SC for year X is in charge of:
- Selecting the location and the Program Committee Chair and Organizing Chair of the next SAS (i.e., for year X+1).
- Giving feedback to the PC chairs on the composition of the PC for year X+1.
- Managing the financial resources of the SAS conferences.
- Managing the connections with publishers and related conferences and events.
- Managing the communication via social media and the web.
- Proposing to the community any actions that may improve the scientific strength and status of SAS.
The founding members of the SAS SC (serving up to 2017) were Patrick Cousot (École Normale Supérieure, France & New York University, USA), Radhia Cousot (CNR & École Normale Supérieure, France), Roberto Giacobazzi (University of Verona, Italy), Gilberto Filé (University of Padova, Italy), Manuel Hermenegildo (UPM and IMDEA Software Institute, Spain), and David Schmidt (Kansas State University, USA).
Policies
SAS abides by the ACM SIGPLAN conference code of conduct policy.