SAS 2016

24 papers

1. A Parametric Abstract Domain for Lattice-Valued Regular Expressions · Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2. Abstract Interpretation of Supermodular Games · Francesco Ranzato
3. Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM · David Menendez, Santosh Nagarakatte, Aarti Gupta
4. Automated Verification of Linearization Policies · Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
5. Bounded Abstract Interpretation · Maria Christakis, Valentin Wüstholz
6. Cell Morphing: From Array Programs to Array-Free Horn Clauses · David Monniaux, Laure Gonnord
7. Completeness in Approximate Transduction · Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
8. Enforcing Termination of Interprocedural Analysis · Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
9. Exploiting Sparsity in Difference-Bound Matrices · Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
10. Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs · Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
11. From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models · Thibault Suzanne, Antoine Miné
12. Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis · Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
13. Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis · Kihong Heo, Hakjoo Oh, Hongseok Yang
14. Loopy: Programmable and Formally Verified Loop Transformations · Kedar S. Namjoshi, Nimit Singhania
15. Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting · Tian Tan, Yue Li, Jingling Xue
16. On the Linear Ranking Problem for Simple Floating-Point Loops · Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
17. Quantitative Monitor Automata · Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
18. Relational Verification Through Horn Clause Transformation · Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
19. Securing a Compiler Transformation · Chaoqiang Deng, Kedar S. Namjoshi
20. Simulation and Invariance for Weak Consistency · Jade Alglave
21. Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs · Matthieu Journault, Antoine Miné
22. Structure-Sensitive Points-To Analysis for C and C++ · George Balatsouras, Yannis Smaragdakis
23. The Julia Static Analyzer for Java · Fausto Spoto
24. Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants · Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan