The 13th International Static Analysis Symposium (SAS 2006)
Venue: Seoul National University
Contact: sas06 at ropas.snu.ac.kr
Contact: sas06 at ropas.snu.ac.kr
- The on-site registration desk will be open as follows:
- On 8/28 Monday night from 19:00 to 21:00, we will have a welcome reception at Mokryeon (Magnolia) Hall in Hoam Faculty House.
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 Thirteenth International Static Analysis Symposium (SAS 2006) will be held in Seoul. Previous symposia were held in London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow and Namur.
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.
- Manuvir Das (Microsoft)
Unleashing the Power of Static Analysis
- Peter O'Hearn (Queen Mary, Univ. Of London)
Separation Logic and Program Analysis
- Hongseok Yang (Seoul National Univ.)
Shape Analysis for Low-level Code
Important Dates(in Dateline Standard Time = GMT -12:00)
|Submission||14 April 2006|
|Notification||31 May 2006|
|Camera-ready||10 June 2006|
|Early Registration||05 August 2006|
Call For PapersCFP.pdf (A4 size), CFP.pdf (Letter size), CFP text, Poster.jpg
- For camera-ready submissions (accepted papers)
- Submission page is here. (closed)
- Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader.
- 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
- Program Chair: Kwangkeun Yi (Seoul National U., Korea)
- Program Committee:
Anindya Banerjee (Kansas State U., USA) Wei-Ngan Chin (National U. of Singapore, Singapore) Patrick Cousot (École Normale Supérieure, France) Roberto Giacobazzi (U. of Verona, Italy) Chris Hankin (Imperial College, UK) Luddy Harrison (U. of Illinois at Urbana-Champaign, USA) Naoki Kobayashi (Tohoku U., Japan) Oukseh Lee (Hanyang U., Korea) Alan Mycroft (U. of Cambridge, UK) Kedar Namjoshi (Bell Labs., USA) Jens Palsberg (UCLA, USA) Andreas Podelski (Max-Planck-Institut, Germany) Ganesan Ramalingam (IBM T.J.Watson, USA) Radu Rugina (Cornell U., USA) Harald Søndergaard (U. of Melbourne, Australia) Zhendong Su (UC Davis, USA) Reinhard Wilhelm (U. des Saarlandes, Germany)
- Steering Committee:
Patrick Cousot (École Normale Supérieure, France) Gilberto Filé (U. of Padova, Italy) David Schmidt (Kansas State U., USA)