SAS 2017

22 papers

1. A Context-Sensitive Memory Model for Verification of C/C++ Programs · Arie Gurfinkel, Jorge A. Navas
2. A Gradual Interpretation of Union Types · Matías Toro, Éric Tanter
3. A New Abstraction Framework for Affine Transformers · Tushar Sharma, Thomas W. Reps
4. Abstract Semantic Diffing of Evolving Concurrent Programs · Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
5. Combining Forward and Backward Abstract Interpretation of Horn Clauses · Alexey Bakhirkin, David Monniaux
6. Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic · Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
7. Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification · Isabella Mastroeni, Michele Pasqua
8. Incremental Analysis for Probabilistic Programs · Jieyuan Zhang, Yulei Sui, Jingling Xue
9. Learning Shape Analysis · Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow
10. Loop Invariants from Counterexamples · Marius Greitschus, Daniel Dietsch, Andreas Podelski
11. Modular Demand-Driven Analysis of Semantic Difference for Program Versions · Anna Trostanetski, Orna Grumberg, Daniel Kroening
12. Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models · Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
13. Probabilistic Horn Clause Verification · Aws Albarghouthi
14. Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains · Abdelraouf Ouadjaout, Antoine Miné
15. Relative Store Fragments for Singleton Abstraction · Leandro Facchinetti, Zachary Palmer, Scott F. Smith
16. Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming · Alexandre Maréchal, David Monniaux, Michaël Périn
17. Securing the SSA Transform · Chaoqiang Deng, Kedar S. Namjoshi
18. Synthesizing Imperative Programs from Examples Guided by Static Analysis · Sunbeom So, Hakjoo Oh
19. Template Polyhedra with a Twist · Sriram Sankaranarayanan, Mohamed Amin Ben Sassi
20. Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs · Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
21. Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration · Colas Le Guernic
22. Verifying Array Manipulating Programs by Tiling · Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat