Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / Francesco Logozzo, Manuel Fähndrich (eds.)
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | SAS 2013. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2013.
|
| Series: | Lecture notes in computer science ;
7935. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Table of Contents:
- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT / Eric Goubault
- Static Analysis in the Continuously Changing World / Sriram Sankaranarayanan
- Abstract Interpretation over Non-lattice Abstract Domains / Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
- Localizing Widening and Narrowing / Gianluca Amato, Francesca Scozzari
- The Abstract Domain of Segmented Ranking Functions / Caterina Urban
- Symbolic Automata for Static Specification Mining / Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
- Predicate Abstraction for Relaxed Memory Models / Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
- On Solving Universally Quantified Horn Clauses / Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko
- From Concrete Examples to Heap Manipulating Programs / Subhajit Roy
- Local Shape Analysis for Overlaid Data Structures / Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists / Pranav Garg, P. Madhusudan, Gennaro Parlato
- Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing / Hyunha Kim, Kyung-Goo Doh, David A. Schmidt.
- Byte-Precise Verification of Low-Level List Manipulation / Kamil Dudka, Petr Peringer, Tomáš Vojnar
- Abstract Semantic Differencing for Numerical Programs / Nimrod Partush, Eran Yahav
- Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation / Raghavan Komondoor
- Automatic Synthesis of Deterministic Concurrency / Veselin Raychev, Martin Vechev, Eran Yahav
- Witnessing Program Transformations / Kedar S. Namjoshi, Lenore D. Zuck
- Formal Verification of a C Value Analysis Based on Abstract Interpretation / Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra / Alexis Fouilhe, David Monniaux, Michaël Périn
- Static Provenance Verification for Message Passing Programs / Rupak Majumdar, Roland Meyer, Zilong Wang
- Verification as Learning Geometric Concepts / Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken
- Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL / Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller
- Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation / Leo White, Alan Mycroft
- Automatic Verification of Erlang-Style Concurrency / Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong
- Contextual Locking for Dynamic Pushdown Networks / Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner.