VMCAI 2018

24 papers

1. A Framework for Computer-Aided Design of Educational Domain Models · Eric Butler, Emina Torlak, Zoran Popovic
2. A Logical System for Modular Information Flow Verification · Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin
3. Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference · Samuele Buro, Isabella Mastroeni
4. Abstraction-Based Interaction Model for Synthesis · Hila Peleg, Shachar Itzhaky, Sharon Shoham
5. An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs · Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz
6. Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity · Swen Jacobs, Mouhammad Sakr
7. Automatic Verification of Intermittent Systems · Manjeet Dahiya, Sorav Bansal
8. Automatic Verification of RMA Programs via Abstraction Extrapolation · Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev
9. Co-Design and Verification of an Available File System · Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
10. Code Obfuscation Against Abstract Model Checking Attacks · Roberto Bruni, Roberto Giacobazzi, Roberta Gori
11. From Shapes to Amortized Complexity · Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger
12. Generating Tests by Example · Hila Peleg, Dan Rasin, Eran Yahav
13. Gradual Program Verification · Johannes Bader, Jonathan Aldrich, Éric Tanter
14. Invariant Generation for Multi-Path Loops with Polynomial Assignments · Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
15. Learning to Complement Büchi Automata · Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
16. Modular Analysis of Executables Using On-Demand Heyting Completion · Julian Kranz, Axel Simon
17. On Constructivity of Galois Connections · Francesco Ranzato
18. On abstraction and compositionality for weak-memory linearisability · Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong
19. P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols · Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf
20. Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction · Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
21. Refinement Types for Ruby · Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
22. Revisiting MITL to Fix Decision Procedures · Nima Roohi, Mahesh Viswanathan
23. Scalable Approximation of Quantitative Information Flow in Programs · Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
24. Selfless Interpolation for Infinite-State Model Checking · Tanja Schindler, Dejan Jovanovic