SAS 2018

25 papers

1. A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis · Maxime Jacquemin, Sylvie Putot, Franck Védrine
2. Abstract Interpretation of CTL Properties · Caterina Urban, Samuel Ueltschi, Peter Müller
3. Abstract Interpretation of Stateful Networks · Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham + 1 more
4. An Efficient Abstract Domain for Not Necessarily Closed Polyhedra · Anna Becchi, Enea Zaffanella
5. Block-Size Independence for GPU Programs · Rajeev Alur, Joseph Devietti, Nimit Singhania
6. Closing the Performance Gap Between Doubles and Rationals for Octagons · Aziem Chawdhary, Andy King
7. Deductive Verification in Decidable Fragments with Ivy · Kenneth L. McMillan, Oded Padon
8. Efficiently Learning Safety Proofs from Appearance as well as Behaviours · Sumanth Prabhu, Kumar Madhukar, R. Venkatesh
9. Experience Developing and Deploying Concurrency Analysis at Facebook · Peter W. O'Hearn
10. Extending Constraint-Only Representation of Polyhedra with Boolean Constraints · Alexey Bakhirkin, David Monniaux
11. Fairness: A Formal-Methods Perspective · Aws Albarghouthi
12. Incremental Verification Using Trace Abstraction · Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann
13. Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction · Florian Zuleger
14. Interactive Verification of Distributed Protocols Using Decidable Logic · Sharon Shoham
15. Invertible Linear Transforms of Numerical Abstract Domains · Francesco Ranzato, Marco Zanella
16. Modular Software Fault Isolation as Abstract Interpretation · Frédéric Besson, Thomas P. Jensen, Julien Lepiller
17. Modular Static Analysis of String Manipulations in C Programs · Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
18. New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair · Ruzica Piskac
19. Numerical Invariants via Abstract Machines · Zachary Kincaid
20. Process-Local Static Analysis of Synchronous Processes · Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
21. The Impact of Program Transformations on Static Program Analysis · Kedar S. Namjoshi, Zvonimir Pavlinovic
22. The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software · Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
23. Verifying Bounded Subset-Closed Hyperproperties · Isabella Mastroeni, Michele Pasqua
24. Verifying Properties of Differentiable Programs · Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
25. Volume-Based Merge Heuristics for Disjunctive Numeric Domains · Andrew Ruef, Kesha Hietala, Arlen Cox