© 2017

Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

  • Francesco Ranzato
Conference proceedings SAS 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10422)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Aws Albarghouthi
    Pages 1-22
  3. Alexey Bakhirkin, David Monniaux
    Pages 23-45
  4. Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
    Pages 46-65
  5. Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow
    Pages 66-87
  6. Chaoqiang Deng, Kedar S. Namjoshi
    Pages 88-105
  7. Leandro Facchinetti, Zachary Palmer, Scott F. Smith
    Pages 106-127
  8. Marius Greitschus, Daniel Dietsch, Andreas Podelski
    Pages 128-147
  9. Arie Gurfinkel, Jorge A. Navas
    Pages 148-168
  10. Lukáš Holík, Roland Meyer, Tomáš Vojnar, Sebastian Wolff
    Pages 169-191
  11. Alexandre Maréchal, David Monniaux, Michaël Périn
    Pages 212-231
  12. Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D’Souza, Noam Rinetzky
    Pages 253-276
  13. Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer
    Pages 299-320
  14. Sriram Sankaranarayanan, Mohamed Amin Ben Sassi
    Pages 321-341
  15. Tushar Sharma, Thomas Reps
    Pages 342-363
  16. Matías Toro, Éric Tanter
    Pages 382-404

About these proceedings


This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 


abstract interpretation model checking program semantics program verification type systems abstract testing bug detection data flow analysis floating-pont numbers linear ranking functions new applications program analysis program transformation security analysis static analysis symbolic automata symbolic transducers termination analysis theoretical frameworks type checking

Editors and affiliations

  1. 1.Dipartimento di MatematicaUniversity of PadovaPaduaItaly

Bibliographic information

Industry Sectors
IT & Software