SAS 2015 - 22ND INTERNATIONAL STATIC ANALYSIS SYMPOSIUM

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 22nd International Static Analysis Symposium, SAS 2015, will be held in Saint-Malo, France. Previous symposia were held in Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur.
COMMITTEES
Organizing committee
Sandrine Blazy, University of Rennes 1, France
Thomas Jensen, Inria Rennes, France
Elisabeth Lebret, Inria Rennes, France
Program Committee
Elvira Albert, University of Madrid, Spain
Josh Berdine, Microsoft Research, United Kingdom
Sandrine Blazy, University of Rennes 1, France (co-chair)
Liqian Chen, National University of Defense Technology, China
Roberto Giacobazzi, University of Verona, Italy
Fritz Henglein, University of Copenhagen, Denmark
Thomas Jensen, Inria Rennes, France (co-chair)
Ranjit Jhala, University of California at San Diego, USA
Andy King, University of Kent at Canterbury, United Kingdom
Björn Lisper, Mälardalen University, Sweden
Matt Might, University of Utah, USA
Antoine Miné, CNRS, France
Francesco Ranzato, University of Padova, Italy
Sukyong Ryu, Korea Advanced Institute of Science and Technology, Korea
Dave Sands, Chalmers University of technology, Sweden
Axel Simon, University of Munich, Germany
Arnaud Venet, NASA Ames Research Center, USA
Dimitrios Vytiniotis, Microsoft Research, United Kingdom
Hongseok Yang, University of Oxford, United Kingdom