The 16th International Static Analysis Symposium
Los Angeles, CA
9-11 August 2009
9-11 August 2009
News08/11/09: The SAS 2009 conference proceedings (LNCS 5673) is available online.
06/09/09: The registration website is open; register now!
05/17/09: Preliminary program is now available.
04/17/09: Notifications have been sent to authors; instructions on preparing camera-ready copies have also been sent to authors of accepted papers. Please contact the PC chairs if you do not receive these.
04/17/09: List of accepted papers.
Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The Sixteenth International Static Analysis Symposium (SAS 2009) will be held in Los Angeles, CA, USA. Previous symposia were held in Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur.
SAS 2009 will be co-located with LICS 2009, 24th IEEE Symposium on Logic in Computer Science. SAS and LICS will have a shared session with an invited speaker. Last time SAS and LICS were co-located was in 2000 in Santa Barbara.
The technical programme for SAS 2009 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed 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 and object-oriented programming. 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 welcomed.
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.
ProgramTo be announced.
Rastislav Bodik, University of California, Berkeley
Edmund M. Clarke, Carnegie Mellon University (joint LICS/SAS invited speaker)
Shaz Qadeer, Microsoft Research
|Submission (abstract)||10 February 2009 (Apia time)|
|Submission (full paper)||20 February 2009 (Apia time) [extended]|
|Notification||17 April 2009|
|Camera-ready||20 May 2009|
|Early Registration||26 July 2009|
|Conference||9-11 August 2009|
Call For Papers
- The submission site is now open.
- Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them.
- 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.
- The proceedings will be published by Springer-Verlag's Lecture Notes in Computer Science series.
- Program Chairs:
Jens Palsberg (University of California, Los Angeles) Zhendong Su (University of California, Davis)
- Program Committee:
Alex Aiken (Stanford University, USA) Maria Alpuente (Technical University of Valencia, Spain) Radhia Cousot (CNRS, France) Sumit Gulwani (Microsoft Research, USA) Chris Hankin (Imperial College, UK) Joxan Jaffar (National University of Singapore, Singapore) Suresh Jagannathan (Purdue University, USA) Naoki Kobayashi (Tohoku University, Japan) Viktor Kuncak (Swiss Federal Institute of Technology, Switzerland) Ana Milanova (Rensselaer Polytechnic Institute, USA) Anders Møller (BRICS, University of Aarhus, Denmark) Aditya Nori (Microsoft Research, India) Andreas Podelski (University of Freiburg, Germany) Jakob Rehof (University of Dortmund, Germany) Thomas Reps (University of Wisconsin-Madison, USA) Harald Søndergaard (University of Melbourne, Australia) Eran Yahav (IBM TJ Watson Research Center, USA) Kwangkeun Yi (Seoul National University, Korea)
- Steering Committee:
Patrick Cousot (École Normale Supérieure, France) Radhia Cousot (CNRS, France) Roberto Giacobazzi (University of Verona, Italy) Gilberto Filé (University of Padova, Italy) David Schmidt (Kansas State University, USA)
SAS 2009 will be hosted by UCLA, University of California, Los Angeles. We have reserved inexpensive sleeping rooms on the UCLA campus, near the building in which the conference will take place. Los Angeles International Airport (LAX) is 15 miles from the conference site. Los Angeles has attractions such as Sunset Boulevard, Beverly Hills, Santa Monica Pier, The Hollywood Walk of Fame, Disneyland, Universal Studios Hollywood, and Dodger Stadium.