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
  18. Kenneth L. McMillan, Lenore D. Zuck
    Pages 249-262
  19. Guy Avni, Orna Kupferman
    Pages 263-279
  20. Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
    Pages 280-297
  21. Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
    Pages 298-315
  22. Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
    Pages 316-333
  23. Javier Esparza, Andreas Gaiser
    Pages 334-350
  24. Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer
    Pages 351-368
  25. David Monniaux, Laure Gonnord
    Pages 369-385
  26. Back Matter

About these proceedings


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.


Concurrency logic programming model checking program verification software maintenance

Editors and affiliations

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

Bibliographic information

  • DOI
  • 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
  • Buy this book on publisher's site