You are here: Home / CFP Folder / February 10, 2013 - SAS 2013 (The 20th International Static Analysis Symposium)

February 10, 2013 - SAS 2013 (The 20th International Static Analysis Symposium)

SAS 2013 The 20th International Static Analysis Symposium 20-22 June 2013, Seattle, WA Co-located with PLDI'13 http://research.microsoft.com/sas2013/
When Feb 10, 2013
from 12:00 AM to 11:55 PM
Where Seattle, Washington
Add event to calendar vCal
iCal

SAS 2013

 

The 20th International Static Analysis Symposium

20-22 June 2013, Seattle, WA

Co-located with PLDI'13

http://research.microsoft.com/sas2013/

 

(My apologies for multiple postings)

 

 

Important dates

 

Abstract submission

27 January 2013 (23h59 PST)

Full paper submission

3 February 2013 (23h59 PST)

Virtual machine

17 February 2013

Notification

15 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

 

Francesco Logozzo

Microsoft Research Redmond, USA

Manuel Fahndrich

Microsoft Research Redmond, USA

 

Program Committee

 

Ana Milanova

Rensselaer Polytechnic Institute, USA

Anindya Banerjee

IMDEA Software Institute, Spain

Antoine Miné

CNRS & Ecole Normale Supérieure, France

Arie Gurfinkel

SEI Carnegie Mellon, USA

Atsushi Igarashi

Kyoto University, Japan

Elvira Albert

Complutense University of Madrid, Spain

Enea Zaffanella

University of Parma and BUGSENG srl,, Italy

Franjo Ivancic

NEC Laboratories America, USA

Helmut Seidl

TU Muenchen, Germany

Hongseok Yang

University of Oxford, UK

Isil Dillig

College of William & Mary, USA

John Boyland

University of Wisconsin-Milwaukee, USA

Mila Dalla Preda

University of Bologna, Italy

Mooly Sagiv

Tel Aviv University, Israel

Nicolas Halbwachs

CNRS/VERIMAG, France

Olin Shivers

Northeastern University, USA

Ranjit Jhala

UC San Diego, USA

Wei-Ngan Chin

National Univ of Singapore

Werner Dietl

University of Washington, USA

 

 

 

Steering Committee

 

Patrick Cousot

Ecole Normale Superieure, France & NYU, USA

Radhia Cousot

CNRS & Ecole Normale Superieure, France

Roberto Giacobazzi

University of Verona, Italy

Gilberto File

University of Padova, Italy

Manuel Hermenegildo

IMDEA Software Institute, Spain

David Schmidt

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.

Document Actions

Filed under:
Navigation
« March 2024 »
March
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
25262728293031