VMCAI 2016

26 papers

1. A General Modular Synthesis Problem for Pushdown Systems · Ilaria De Crescenzo, Salvatore La Torre
2. A Method for Invariant Generation for Polynomial Continuous Systems · Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
3. A Program Logic for C11 Memory Fences · Marko Doko, Viktor Vafeiadis
4. Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis · Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
5. Abstraction-driven Concolic Testing · Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
6. An Abstract Domain of Uninterpreted Functions · Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
7. Automatic Generation of Propagation Complete SAT Encodings · Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
8. Automating Abstract Interpretation · Thomas W. Reps, Aditya V. Thakur
9. Cloud-Based Verification of Concurrent Software · Gerard J. Holzmann
10. D^3 : Data-Driven Disjunctive Abstraction · Hila Peleg, Sharon Shoham, Eran Yahav
11. Exact Heap Summaries for Symbolic Execution · Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
12. From Low-Level Pointers to High-Level Containers · Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
13. Hybrid Analysis for Partial Order Reduction of Programs with Arrays · Pavel Parízek
14. Lazy Constrained Monotonic Abstraction · Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
15. Lipschitz Robustness of Timed I/O Systems · Thomas A. Henzinger, Jan Otop, Roopsha Samanta
16. Model Checking with Multi-threaded IC3 Portfolios · Sagar Chaki, Derrick Karimi
17. Parameter Synthesis for Parametric Interval Markov Chains · Benoît Delahaye, Didier Lime, Laure Petrucci
18. Pointer Race Freedom · Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
19. Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem · Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn
20. Predicate Abstraction for Linked Data Structures · Alexander Bakst, Ranjit Jhala
21. Program Analysis with Local Policy Iteration · Egor George Karpenkov, David Monniaux, Philipp Wendler
22. Property Directed Abstract Interpretation · Noam Rinetzky, Sharon Shoham
23. Regular Symmetry Patterns · Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
24. Reward-Bounded Reachability Probability for Uncertain Weighted MDPs · Vahid Hashemi, Holger Hermanns, Lei Song
25. Tight Cutoffs for Guarded Protocols with Fairness · Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
26. Viper: A Verification Infrastructure for Permission-Based Reasoning · Peter Müller, Malte Schwerhoff, Alexander J. Summers