The SAS pages are hosted by the IMDEA Software Institute

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 addressing any programming paradigm (including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, GPU programming, ...) and 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

Next edition

The 21st International Static Analysis Symposium, SAS 2014, will be held September 11-13 in Munich, Germany.

Previous editions

The series of Static Analysis Symposia has been held in 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


Patrick Cousot École Normale Supérieure, France & NYU, USA
Radhia Cousot CNR & École Normale Supérieure, France
Roberto Giacobazzi University of Verona, Italy
Gilberto Filé University of Padova, Italy
Manuel Hermenegildo IMDEA Software Institute and UPM, Spain
David Schmidt Kansas State University, USA