© 2018

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

  • Isil Dillig
  • Jens Palsberg
Conference proceedings VMCAI 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10747)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10747)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
    Pages 1-24
  3. Johannes Bader, Jonathan Aldrich, Éric Tanter
    Pages 25-46
  4. Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev
    Pages 47-70
  5. Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
    Pages 71-93
  6. Roberto Bruni, Roberto Giacobazzi, Roberta Gori
    Pages 94-115
  7. Samuele Buro, Isabella Mastroeni
    Pages 116-137
  8. Eric Butler, Emina Torlak, Zoran Popović
    Pages 138-160
  9. Manjeet Dahiya, Sorav Bansal
    Pages 161-182
  10. Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong
    Pages 183-204
  11. Tomáš Fiedor, Lukáš Holík, Adam Rogalewicz, Moritz Sinn, Tomáš Vojnar, Florian Zuleger
    Pages 205-225
  12. Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
    Pages 226-246
  13. Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
    Pages 269-290
  14. Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
    Pages 313-335
  15. Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf
    Pages 336-357
  16. Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
    Pages 358-381
  17. Hila Peleg, Shachar Itzhaky, Sharon Shoham
    Pages 382-405
  18. Hila Peleg, Dan Rasin, Eran Yahav
    Pages 406-429

About these proceedings


This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.
The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial  were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.


verification model checking abstract interpretation synthesis security satisfiability type systems decision procedures

Editors and affiliations

  • Isil Dillig
    • 1
  • Jens Palsberg
    • 2
  1. 1.University of Texas AustinUSA
  2. 2.University of California Los AngelesUSA

Bibliographic information

Industry Sectors
IT & Software