The 14th International Static Analysis Symposium
Venue: The Technical University of Denmark
Contact: sas2007 at imm.dtu.dk
Contact: sas2007 at imm.dtu.dk
- LNCS 4634 is now available online. You can find information about it here.
- The combined SAS and LOPSTR program is available.
- The local registration will open Wednesday and Thursday at 8 a.m. in building 308.
- Online registration is now closed. If you want to attend SAS 2007, LOPSTR 2007, or PLID 2007, please register at the conference, where you can pay cash or with credit card.
- The program is now available.
Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area.
The Fourteenth International Static Analysis Symposium (SAS 2007) will be held in Lyngby Denmark; previous symposia were held in Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur. SAS 2007 will be co-located with LOPSTR 2007 - The International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007 - The International Workshop on Programming Language Interference and Dependence.
The technical programme for SAS 2007 will consist of invited
lectures, tutorials, panels, presentations of refereed papers, poster
sessions and software demonstrations. Contributions are welcome on all
aspects of Static Analysis, including, but not limited to:
|abstract domains||abstract interpretation|
|abstract testing||compiler optimisations|
|control flow analysis||data flow analysis|
|model checking||program specialization|
|security analysis||theoretical analysis frameworks|
|type based analysis||verification systems|
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 from a new perspective, 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.
|Alan Mycroft||(Cambridge University, UK)|
|Hardware-oriented program properties|
|Frank Tip||(IBM T.J. Watson Research Center, USA)|
|Refactoring using type constraints|
|Michael Codish||(Ben-Gurion University of the Negev, Israel)|
|Proving Termination with (Boolean) Satisfaction|
|Submission system opens||February 26, 2007|
|Submission of abstract||March 26, 2007 - closed|
|Submission of paper||March 30, 2007 - closed|
|Notification||May 7, 2007|
|Camera-ready version||June 4, 2007|
|Conference||August 22-24, 2007|
There will be a poster session during SAS; important dates for the poster session can be found in the call for posters.
Submission InformationSubmitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices not intended for publication). Program committee members are not required to read the appendices, and thus papers should be intelligible without them. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see http://www.springer.de/comp/lncs/authors.html for the LNCS author instructions). Adhering to that style already in the submission is strongly encouraged. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader.
The submission procedure is in two stages: Making the deadline for submission of abstracts a week early allows the programme committee to start work before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline. Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn.
The proceedings of the Conference will be published by Springer in the Lecture Notes in Computer Science http://www.springer.de/comp/lncs/ series. Submissions must be in English and authors should ensure that papers are formatted according to the LNCS format (see author's instructions given on http://www.springer.de/comp/lncs/authors.html).
- Program Chairs:
Gilberto Filé (University of Padova, I) Hanne Riis Nielson (Technical University of Denmark, DK)
- Program Committee:
Agostino Cortesi (University Ca'Foscari of Venice, I) Patrick Cousot (École Normale Supérieure, F) Manuel Fahndrich (Microsoft Research, USA) Roberto Giacobazzi (University of Verona, I) Chris Hankin (Imperial College, UK) Manuel Hermenegildo (Technical University of Madrid, E) Jens Knoop (Technical University of Vienna, AT) Naoki Kobayashi (Tohoku University, Japan) Julia Lawall (Copenhagen University, DK) Andreas Podelski (University of Freiburg, D) Jakob Rehof (University of Dortmund, D) Radu Rugina (Cornell University, USA) Mooly Sagiv (Tel-Aviv University, IL) David Schmidt (Kansas State University, USA) Helmut Seidl (Technical University of Munich, D) Harald Søndergaard (University of Melbourne, AU) Kwangkeun Yi (Seoul National University, Korea)
- Local Organizing Committee:
Christian W. Probst (Chair) Sebastian Nanz Flemming Nielson (Treasurer) Terkel K. Tolstrup (Poster session chair) Eva Bing Elsebeth Strom
- Steering Committee:
Patrick Cousot (École Normale Supérieure, F) Gilberto Filé (University of Padova, I) David Schmidt (Kansas State University, USA)
Symposium VenueThe conference takes place at the Technical University of Denmark in Kongens Lyngby, which is situated 15 km north of the center of Copenhagen, the capital of Denmark.
- IMM Graduate School ITMAN
- IBM Denmark