The 13th International Static Analysis Symposium (SAS 2006)

Seoul, Korea
29-31 August 2006

Venue: Seoul National University
Contact: sas06 at ropas.snu.ac.kr

News

• Photos!

 Photoset 1(by Heejong Lee) Photoset 2(by Hakjoo Oh)

• The on-site registration desk will be open as follows:
  • 8/28,     18:00 - 21:00, at the reception venue.
  • 8/29-30, 08:00 - 14:00, at the symposium venue.
  Please visit the registration desk to pick up symposium materials as well as to complete all registration finances.
• 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.

Objectives

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.

Topics

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.

Program

The technical program for SAS 2006 will consist of three invited lectures and presentations of 23 accepted papers. The social program includes an excursion and a banquet dinner.

Invited Speakers

• Manuvir Das (Microsoft)
  Unleashing the Power of Static Analysis
(slides)
• Peter O'Hearn (Queen Mary, Univ. Of London)
  Separation Logic and Program Analysis
(slides)
• Hongseok Yang (Seoul National Univ.)
  Shape Analysis for Low-level Code
(slides)

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 Papers

CFP.pdf (A4 size), CFP.pdf (Letter size), CFP text, Poster.jpg

Submissions Information

• For camera-ready submissions (accepted papers)
  • Please follow directions in the Information for LNCS Authors from the Lecture Notes in Computer homepage.
  • LNCS copyright form (.pdf) for SAS 2006
• 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 Science series.
  

LNCS Vol.4134: the proceedings

Organizers

• 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)