SAS 2013

25 papers

1. Abstract Interpretation over Non-lattice Abstract Domains · Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2. Abstract Semantic Differencing for Numerical Programs · Nimrod Partush, Eran Yahav
3. Automatic Synthesis of Deterministic Concurrency · Veselin Raychev, Martin T. Vechev, Eran Yahav
4. Automatic Verification of Erlang-Style Concurrency · Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong
5. Byte-Precise Verification of Low-Level List Manipulation · Kamil Dudka, Petr Peringer, Tomás Vojnar
6. Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation · Leo White, Alan Mycroft
7. Contextual Locking for Dynamic Pushdown Networks · Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
8. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra · Alexis Fouilhé, David Monniaux, Michaël Périn
9. Formal Verification of a C Value Analysis Based on Abstract Interpretation · Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
10. From Concrete Examples to Heap Manipulating Programs · Subhajit Roy
11. Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL · Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
12. Local Shape Analysis for Overlaid Data Structures · Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
13. Localizing Widening and Narrowing · Gianluca Amato, Francesca Scozzari
14. On Solving Universally Quantified Horn Clauses · Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko
15. Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation · Raghavan Komondoor
16. Predicate Abstraction for Relaxed Memory Models · Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
17. Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists · Pranav Garg, P. Madhusudan, Gennaro Parlato
18. Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT · Eric Goubault
19. Static Analysis in the Continuously Changing World · Sriram Sankaranarayanan
20. Static Provenance Verification for Message Passing Programs · Rupak Majumdar, Roland Meyer, Zilong Wang
21. Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing · Hyunha Kim, Kyung-Goo Doh, David A. Schmidt
22. Symbolic Automata for Static Specification Mining · Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
23. The Abstract Domain of Segmented Ranking Functions · Caterina Urban
24. Verification as Learning Geometric Concepts · Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
25. Witnessing Program Transformations · Kedar S. Namjoshi, Lenore D. Zuck