posted by user: sas2008 || 2357 views || tracked by 9 users: [display]

SAS 2008 : 15th International Static Analysis Symposium

FacebookTwitterLinkedInGoogle


Conference Series : Static Analysis Symposium
 
Link: http://www.dsic.upv.es/~sas2008/
 
When Jul 16, 2008 - Jul 18, 2008
Where Valencia
Abstract Registration Due Apr 5, 2008
Submission Deadline Jan 12, 2008
Notification Due Mar 7, 2008
Categories    semantics   abstract interpretation   software   static analysis
 

Call For Papers

Call for papers

Static Analysis Symposium - SAS 2008
16-18 July 2008, Valencia, Spain
(co-located with LOPSTR 2008)

url http://www.dsic.upv.es/~sas2008
email sas2008@dsic.upv.es

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 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 optimizations
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.

Submitted papers should be at most 15 pages formatted in LNCS style
(excluding bibliography and well-marked appendices not intended for
publication). PC members are not required to read the appendices, and thus
papers should be intelligible without them. The conference proceedings
is planned to be published by Springer-Verlag in the Lecture Notes in
Computer Science series.

Invited Speakers

Roberto Giacobazzi (Universita' degli Studi di Verona, Italy)
Ben Liblit (University of Wisconsin-Madison, USA)

PC co-chairs

Maria Alpuente (Technical University of Valencia, Spain)
German Vidal (Technical University of Valencia, Spain)

PC members

Elvira Albert (Complutense University of Madrid, Spain)
Roberto Bagnara (University of Parma, Italy)
Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium)
Radhia Cousot (CNRS & Ecole Polytechnique, France)
Javier Esparza (Technical University of Munchen, 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)
Maria 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 Sondergaard (University of Melbourne, Australia)
Tachio Terauchi (Tohoku University, Japan)
Ji Wang (National Laboratory for Parallel and Distributed Processing, China)

Organizing committee chair

Alicia Villanueva (Technical University of Valencia, Spain)

Important dates

Submission of abstract: January 12, 2008
Submission of full paper: January 19, 2008
Notification: March 7, 2008
Camera-ready version: April 5, 2008
Conference: July 16-18, 2008

Related Resources

SAS 2017   24th Static Analysis Symposium
ICSA 2018   International Conference on Software Architecture
ECISM 2018   12th European Conference on Information Systems Management
SLIE 2018   Semantic, Logics, Information Extraction and AI
ISSTA 2018   International Symposium on Software Testing and Analysis
ICKSE--EI, Scopus 2018   2018 4th International Conference on Knowledge and Software Engineering (ICKSE 2018)--EI Compendex, Scopus
IEEE - ICBDA 2018   2018 IEEE 3rd International Conference on Big Data Analysis (ICBDA 2018)--IEEE Xplore and Ei Compendex
CIbSE 2018   Conferencia Iberoamericana de Software Engineering
ICIAR 2018   15th International Conference on Image Analysis and Recognition
JEI IVADR 2018   Journal of Electronic Imaging Special Issue on Image and Video Analysis, Detection, and Recognition