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

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
  • Print ISBN 978-3-642-38855-2
  • Online ISBN 978-3-642-38856-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book