Static Analysis

18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

  • Eran Yahav
Conference proceedings SAS 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6887)

Table of contents

  1. Front Matter
  2. Kenneth L. McMillan
    Pages 1-1
  3. Aditya V. Nori, Sriram K. Rajamani
    Pages 2-3
  4. John C. Mitchell
    Pages 4-4
  5. Daniel Kästner
    Pages 5-5
  6. Jérôme Feret
    Pages 6-6
  7. Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani
    Pages 7-24
  8. Nikos Gorogiannis, Max Kanovich, Peter W. O’Hearn
    Pages 25-42
  9. P. Madhusudan, Xiaokang Qiu
    Pages 43-59
  10. Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
    Pages 60-76
  11. Andrea Flexeder, Michael Petter, Helmut Seidl
    Pages 77-94
  12. Kin-Keung Ma, Khoo Yit Phang, Jeffrey S. Foster, Michael Hicks
    Pages 95-111
  13. Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
    Pages 112-128
  14. Ahmed Bouajjani, Michael Emmi, Gennaro Parlato
    Pages 129-145
  15. Viktor Vafeiadis, Francesco Zappa Nardelli
    Pages 146-162
  16. Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas Reps
    Pages 198-215
  17. Sven Verdoolaege, Albert Cohen, Anna Beletska
    Pages 216-232

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.

The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

Keywords

Concurrency logic programming model checking program verification software maintenance

Editors and affiliations

  • Eran Yahav
    • 1
  1. 1.Computer Science DeptartementTechnionTechnion CityIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-23702-7
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-23701-0
  • Online ISBN 978-3-642-23702-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349