Mar 26, 2010 - SAS 2010 (17th International Static Analysis Symposium)
Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France
Deadline extension for abstracts and full papers:
- Abstracts must be received by Friday, March 19, 2010 (23h59 GMT)
- Complete papers must be received by Friday, March 26, 2010 (23h59 GMT)
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 Seventeenth International Static Analysis Symposium (SAS 2010) will be held in Perpignan, France. Previous symposia were held in Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur.
The technical programme for SAS 2010 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.
- Manuel Fahndrich, Microsoft Research, USA
- David Lesens, EADS Space Transportation, France
- Andreas Podelski, Freiburg University, Germany
- Mooly Sagiv, Tel-Aviv University, Israel
Special Session in Memory of Amir Pnueli
Invited speakers :
- Allen Emerson, The University of Texas at Austin, USA (to be confirmed)
- Nissim Francez, The Technion, Israel
- Benjamin Goldberg, New York University, USA
|Submission (abstract)||19 March 2010, 23h59 (GMT) extended deadline|
|Submission (full paper)||26 March 2010, 23h59 (GMT) extended deadline|
|Notification||4 May 2010|
|Camera-ready||11 June 2010|
|Conference||14-16 September 2010|
Call For Papers
- [ PDF ]
- 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:
Radhia Cousot (École Normale Supérieure & CNRS, France) Matthieu Martel (Université de Perpignan Via Domitia, France)
- Program Committee:
Elvira Albert (Complutense University of Madrid, Spain) Maria Alpuente (Universidad Politécnica de Valencia, Spain) Olivier Bouissou (Commissariat à l'Energie Atomique, France) Byron Cook (Microsoft Research, Cambridge, UK) Susanne Graf (Verimag/CNRS, Grenoble, France) Joxan Jaffar (National University of Singapore, Singapore) Neil Jones (University of Copenhagen, Danemark) Francesca Levi (University of Pisa, Italy) Francesco Logozzo (Microsoft Research, Redmond, USA) Damien Massé (Université de Bretagne Occidentale, France) Isabella Mastroeni (Università degli Studi di Verona, Italy) Laurent Mauborgne (École Normale Supérieure, France) Matthew Might (University of Utah, USA) George Necula (University of California, Berkeley, USA) Francesco Ranzato (Università di Padova, Italy) Andrey Rybalchenko (Max Planck Institute, Saarbrücken, Germany) Mary Lou Soffa (University of Virginia, USA) Zhendong Su (University of California, Davis, USA) Greta Yorsh (IBM T.J. Watson Research Center, USA)
- 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)
- NSAD 2010: The Second Workshop on Numerical and Symbolic Abstract Domains
- SASB 2010: First Workshop on Static Analysis and Systems Biology
- TAPAS 2010: Tools for Automatic Program AnalysiS
SAS 2010 will take place in Perpignan, France, in the Exhibition and Conference Center, located downtown. Situated between the Mediterranean coast and the peaks of the Pyrenees, in the south of France, Perpignan is the capital of Roussillon, a very touristic region attracting people to the coast or to the mountains and Cathar castles of the interior. Alongside the rocky coastline are attractive resorts such as Collioure, which drew the likes of Matisse and Picasso.
- Direct flights from Paris/Orly.
- Indirect Flights to Barcelona or Gerona in Spain. Approximately 2 hours by car to Perpignan.
- From the airport to the city center: You will find a taxi rank outside the arrival lounge. Shuttle bus: Connections for every flight. Rent-a-car: All car rental companies have desks open on the arrival of all flights Ada, Avis, Budget, Citer, Europcar, Hertz, Sixt.