Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Jens Palsberg

    1. Department of Computer Science, University of California, Los Angeles, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhendong Su

    1. Department of Computer Science, University of California, Davis, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAS 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  3. Contributed Papers

    1. Abstraction Refinement for Quantified Array Assertions

      • Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies
      Pages 3-18

    2. Inferring Dataflow Properties of User Defined Table Processors

      • Songtao Xia, Manuel Fähndrich, Francesco Logozzo
      Pages 19-35

    3. Polymorphic Fractional Capabilities

      • Hirotoshi Yasuoka, Tachio Terauchi
      Pages 36-51

    4. Automatic Parallelization and Optimization of Programs by Proof Rewriting

      • Clément Hurlin
      Pages 52-68

    5. Refinement of Trace Abstraction

      • Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
      Pages 69-85

    6. The Causal Graph Revisited for Directed Model Checking

      • Martin Wehrle, Malte Helmert
      Pages 86-101

    7. Proving the Correctness of the Implementation of a Control-Command Algorithm

      • Olivier Bouissou
      Pages 102-119

    8. Abstract Interpretation of FIFO Replacement

      • Daniel Grund, Jan Reineke
      Pages 120-136

    9. A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination

      • David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris
      Pages 137-153

    10. Increasing the Scope and Resolution of Interprocedural Static Single Assignment

      • Silvian Calman, Jianwen Zhu
      Pages 154-170

    11. Region Analysis for Race Detection

      • Helmut Seidl, Vesal Vojdani
      Pages 171-187

    12. Bottom-Up Shape Analysis

      • Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori
      Pages 188-204

    13. The Complexity of Andersen’s Analysis in Practice

      • Manu Sridharan, Stephen J. Fink
      Pages 205-221

    14. Optimizing Pointer Analysis Using Bisimilarity

      • Luke Simon
      Pages 222-237

    15. Type Analysis for JavaScript

      • Simon Holm Jensen, Anders Møller, Peter Thiemann
      Pages 238-255

    16. Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology

      • Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
      Pages 256-272

    17. Creating Transformations for Matrix Obfuscation

      • Stephen Drape, Irina Voiculescu
      Pages 273-292
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Editors and Affiliations

  • Department of Computer Science, University of California, Los Angeles, Los Angeles, USA

    Jens Palsberg

  • Department of Computer Science, University of California, Davis, USA

    Zhendong Su

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation