Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

  • Antoine Miné
  • David Schmidt
Conference proceedings SAS 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7460)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
      Pages 1-2
    2. Dino Distefano
      Pages 3-3
    3. Shriram Krishnamurthi
      Pages 4-4
    4. Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
      Pages 5-23
  3. Contributed Papers

    1. Eric Goubault, Sylvie Putot, Franck Védrine
      Pages 24-40
    2. Jacob M. Howe, Andy King
      Pages 41-57
    3. David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner
      Pages 58-74
    4. Aditya Thakur, Matt Elder, Thomas Reps
      Pages 111-128
    5. Roberto Giacobazzi, Isabella Mastroeni
      Pages 129-145
    6. Alejandro Sanchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
      Pages 146-163
    7. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
      Pages 164-180
    8. Peter Calvert, Alan Mycroft
      Pages 181-197
    9. Nicolas Halbwachs, Julien Henry
      Pages 198-213
    10. Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
      Pages 214-230
    11. Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
      Pages 231-247
    12. Dimitra Giannakopoulou, Zvonimir Rakamarić, Vishwanath Raman
      Pages 248-264
    13. Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
      Pages 265-282

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Keywords

compliler optimization heap analysis higher order programs program understanding software maintenance

Editors and affiliations

  • Antoine Miné
    • 1
  • David Schmidt
    • 2
  1. 1.Département d’InformatiqueÉcole Normale SupérieureParisFrance
  2. 2.Department of Computing and Information SciencesKansas State UniversityManhattanUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33125-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33124-4
  • Online ISBN 978-3-642-33125-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349