Skip to main content
SpringerLink
Log in

Static Analysis

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Markus Müller-Olm

    1. Institut für Informatik, Westfälische Wilhelms-Universität Münster, Münster, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Seidl

    1. Institut für Informatik, Technische Universität München, Garching, Germany

    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 8723)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SAS 2014.

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 (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Block Me If You Can!

    • Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík
    Pages 1-17

  3. Peak Cost Analysis of Distributed Systems

    • Elvira Albert, Jesús Correas, Guillermo Román-Díez
    Pages 18-33

  4. Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction

    • Alexey Bakhirkin, Josh Berdine, Nir Piterman
    Pages 34-50

  5. SawjaCard: A Static Analysis Tool for Certifying Java Card Applications

    • Frédéric Besson, Thomas Jensen, Pierre Vittet
    Pages 51-67

  6. Cyclic Abduction of Inductively Defined Safety and Termination Preconditions

    • James Brotherston, Nikos Gorogiannis
    Pages 68-84

  7. Expectation Invariants for Probabilistic Program Loops as Fixed Points

    • Aleksandar Chakarov, Sriram Sankaranarayanan
    Pages 85-100

  8. An Abstract Domain to Infer Octagonal Constraints with Absolute Value

    • Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
    Pages 101-117

  9. Verifying Recursive Programs Using Intraprocedural Analyzers

    • Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
    Pages 118-133

  10. Automatic Analysis of Open Objects in Dynamic Language Programs

    • Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
    Pages 134-150

  11. Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations

    • Khalil Ghorbal, Andrew Sogokon, André Platzer
    Pages 151-167

  12. On Program Equivalence with Reductions

    • Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
    Pages 168-183

  13. A Progress Bar for Static Analyzers

    • Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
    Pages 184-200

  14. Sparse Dataflow Analysis with Pointers and Reachability

    • Magnus Madsen, Anders Møller
    Pages 201-218

  15. Reactivity of Cooperative Systems

    • Louis Mandel, Cédric Pasteur
    Pages 219-236

  16. Synthesis of Memory Fences via Refinement Propagation

    • Yuri Meshman, Andrei Dan, Martin Vechev, Eran Yahav
    Pages 237-252

  17. Speeding Up Logico-Numerical Strategy Iteration

    • David Monniaux, Peter Schrammel
    Pages 253-267

  18. Cost-Aware Automatic Program Repair

    • Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
    Pages 268-284

  19. An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

    • Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
    Pages 285-301

  20. A Decision Tree Abstract Domain for Proving Conditional Termination

    • Caterina Urban, Antoine Miné
    Pages 302-318
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Editors and Affiliations

  • Institut für Informatik, Westfälische Wilhelms-Universität Münster, Münster, Germany

    Markus Müller-Olm

  • Institut für Informatik, Technische Universität München, Garching, Germany

    Helmut Seidl

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation