Co-located with PLDI'13
Registration is via the PLDI'13 registration websiteProgram and Papers!
(including links to Virtual Machines)http://research.microsoft.com/en-us/events/sas2013/program.aspx
Springer online proceedings free preview.
Invited speakers
-
Eric Lippert, Coverity
-
Eric Goubault, CEA
-
Sriram Sankaranarayanan, University of Colorado, Boulder
Accepted papers
http://staticanalysis.org/SAS13/papers.html
Submission page
https://www.easychair.org/conferences/?conf=sas2013
Important dates
|
Abstract submission (extended) |
3 February 2013 (23h59 PST) |
|
Full paper submission (extended) |
10 February 2013 (23h59 PST) |
|
Virtual machine |
17 February 2013 |
|
Notification |
22 March 2013 |
|
Camera-ready |
3 April 2013 |
|
Conference |
20-22 June 2013 |
Objective
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 the presentation of theoretical, practical, and application advances in the area. The 20th International Static Analysis Symposium, SAS 2013, will be held in Seattle, WA, USA, co-located with the ACM Conference on Programming Language Design and Implementation. Previous symposia were held in Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur.
Topics
The technical program for SAS 2013 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, object-oriented, aspect, multi-core, distributed, and GPU 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.
Submission Information
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. Paper submissions should not exceed 20 pages in Springer's Lecture Notes in Computer Science 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.
Artifact Submission
New this year, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field's scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work.
Artifact submission is optional. Details on what to submit and how will be forthcoming.
The submitted artifacts will be used by the program committee as a secondary evaluation criteria whose sole purpose is to find additional positive arguments for the paper's acceptance. Submissions without artifacts are welcome and will not be penalized.
Program Chairs
|
Microsoft Research Redmond, USA | |
|
Microsoft Research Redmond, USA |
Program Committee
|
Rensselaer Polytechnic Institute, USA | |
|
IMDEA Software Institute, Spain | |
|
CNRS & Ecole Normale Supérieure, France | |
|
SEI Carnegie Mellon, USA | |
|
Kyoto University, Japan | |
|
Complutense University of Madrid, Spain | |
|
University of Parma and BUGSENG, Italy | |
|
NEC Laboratories America, USA | |
|
TU Muenchen, Germany | |
|
University of Oxford, UK | |
|
College of William & Mary, USA | |
|
University of Wisconsin-Milwaukee, USA | |
|
University of Bologna, Italy | |
|
Tel Aviv University, Israel | |
|
CNRS/VERIMAG, France | |
|
UC San Diego, USA | |
|
National Univ of Singapore | |
|
University of Washington, USA |
Steering Committee
|
Ecole Normale Superieure, France & NYU, USA | |
|
CNRS & Ecole Normale Superieure, France | |
|
University of Verona, Italy | |
|
University of Padova, Italy | |
|
IMDEA Software Institute, Spain | |
|
Kansas State University, USA |
Affiliated Events
NSAD: The 5th Workshop on Numerical and Symbolic Abstract Domains
19 June 2013
SASB: The 4th Workshop on Static Analysis and Systems Biology
19 June 2013
TAPAS: The 4th Workshop on Tools for Automatic Program Analysis
19 June 2013
Venue
SAS 2013 and its affiliated events are co-located with ACM PLDI 2013 and will take place at the Red Lion Hotel on 5th Ave in downtown Seattle, WA. Seattle, home to Amazon, Starbucks, Microsoft, and Boeing is famous for its coffee houses and its beautiful surroundings such as the Puget Sound and its numerous islands, as well as the Olympic Peninsula and nearby Cascades mountains.
News: 
Added link to the Virtual Machines: try them!
Registration is via PLDI'13
The program is now online!
List of invited speakers is available
List of accepted papers now online
Deadline extended by one week!
Submission page is open
Important dates are out:
Abstract submission 3 February 2013
Full paper submission 10 February 2013
Virtual machine 17 February 2013
Notification 22 March 2013
Camera-ready 3 April 2013
Conference 20-22 June 2013
SAS'13 will be co-located with PLDI 2013 !