Static Analysis

20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

  • Francesco Logozzo
  • Manuel Fähndrich
Conference proceedings SAS 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7935)

Table of contents

  1. Front Matter
  2. Sriram Sankaranarayanan
    Pages 4-5
  3. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
    Pages 6-24
  4. Gianluca Amato, Francesca Scozzari
    Pages 25-42
  5. Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
    Pages 63-83
  6. Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
    Pages 84-104
  7. Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko
    Pages 105-125
  8. Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
    Pages 150-171
  9. Pranav Garg, P. Madhusudan, Gennaro Parlato
    Pages 172-193
  10. Kamil Dudka, Petr Peringer, Tomáš Vojnar
    Pages 215-237
  11. Nimrod Partush, Eran Yahav
    Pages 238-258
  12. Veselin Raychev, Martin Vechev, Eran Yahav
    Pages 283-303
  13. Kedar S. Namjoshi, Lenore D. Zuck
    Pages 304-323
  14. Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
    Pages 324-344
  15. Alexis Fouilhe, David Monniaux, Michaël Périn
    Pages 345-365
  16. Rupak Majumdar, Roland Meyer, Zilong Wang
    Pages 366-387
  17. Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
    Pages 388-411
  18. Martin Brain, Vijay D’Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
    Pages 412-432
  19. Emanuele D’Osualdo, Jonathan Kochems, C. -H. Luke Ong
    Pages 454-476
  20. Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
    Pages 477-498
  21. Back Matter

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 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.


Erlang decision procedures graph homomorphism petri nets separation logic

Editors and affiliations

  • Francesco Logozzo
    • 1
  • Manuel Fähndrich
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.One Microsoft WayMicrosoft ResearchRedmond,USA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38855-2
  • Online ISBN 978-3-642-38856-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software