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 15th International Static Analysis Symposium (SAS 2008) will be
held in Valencia, Spain; previous symposia were held in Kongens
Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa
Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur. SAS 2008
will be co-located with the
International
Symposium on Logic-based Program Synthesis and Transformation
(
LOPSTR 2008)
and the
10th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
(
PPDP 2008).
The technical programme for SAS 2008 will consist of invited lectures
and presentations of refereed papers. 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.
Submission of abstract: | January 19, 2008 (extended!) |
Submission of full paper: | January 26, 2008 (extended!) |
Notification: | March 7, 2008 |
Camera-ready version: | April 5, 2008 |
Conference: | July 16-18, 2008 |
Submitted 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 submission procedure is in two stages: Making the deadline for
submission of abstracts a week early allows the programme committee to
start working 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 is planned to be published by Springer in
the Lecture Notes in Computer Science http://www.springer.de/comp/lncs/
series.
Papers should be submitted either in PostScript or PDF format and they
should be interpretable by Ghostscript or Acrobat Reader.
Submissions must be in English and
adhering to Springer's LNCS format already in the submission is
strongly encouraged (see author's
instructions given on http://www.springer.de/comp/lncs/authors.html).
|
Submission must be send through the
web
submission system.
- Program Chairs:
- Program Committee:
Elvira Albert |
(Complutense University of Madrid, Spain) |
Roberto Bagnara |
(University of Parma, Italy) |
Maurice Bruynooghe |
(Katholieke Universiteit Leuven, Belgium) |
Radhia Cousot |
(CNRS & École Polytechnique, France) |
Javier Esparza |
(Technical University of München, Germany) |
Sandro Etalle |
(University of Twente, The Netherlands) |
Moreno Falaschi |
(University of Siena, Italy) |
Stephen Fink |
(IBM T.J. Watson Research Center, USA) |
John Gallagher |
(Roskilde University, Denmark) |
María del Mar Gallardo |
(University of Malaga, Spain) |
Chris Hankin |
(Imperial College, UK) |
Manuel Hermenegildo |
(Technical University of Madrid, Spain) |
Julia Lawall |
(University of Copenhagen, Denmark) |
Alexey Loginov |
(IBM T.J. Watson Research Center, USA) |
Hanne Riis Nielson |
(Technical University of Denmark, Denmark) |
David Schmidt |
(Kansas State University, USA) |
Harald Søndergaard |
(University of Melbourne, Australia) |
Tachio Terauchi |
(Tohoku University, Japan) |
Ji Wang |
(National Laboratory for Parallel and Distributed Processing, China) |
- Local Organizing Committee:
- Steering Committee:
The conference will be held at the Technical University of
Valencia, Spain.
More information here.