Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

  • Ranjit Jhala
  • David Schmidt
Conference proceedings VMCAI 2011

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

Table of contents

  1. Front Matter
  2. David L. Dill
    Pages 1-1
  3. Stephen F. Siegel, Ganesh Gopalakrishnan
    Pages 2-18
  4. Bernhard Steffen, Oliver Rüthing
    Pages 23-37
  5. Elvira Albert, Samir Genaim, Abu Naser Masud
    Pages 38-53
  6. Sébastien Bardin, Philippe Herrmann, Franck Védrine
    Pages 54-69
  7. Aaron R. Bradley
    Pages 70-87
  8. Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
    Pages 88-102
  9. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    Pages 103-117
  10. Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl
    Pages 118-133
  11. Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
    Pages 134-149
  12. Patrick Cousot, Radhia Cousot, Francesco Logozzo
    Pages 150-168
  13. Alastair F. Donaldson, Leopold Haller, Daniel Kroening
    Pages 169-183
  14. Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
    Pages 184-198
  15. Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
    Pages 199-213
  16. Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
    Pages 214-231
  17. Eric Goubault, Sylvie Putot
    Pages 232-247
  18. Pieter Hooimeijer, Margus Veanes
    Pages 248-262
  19. Falk Howar, Bernhard Steffen, Maik Merten
    Pages 263-277
  20. Swen Jacobs, Viktor Kuncak
    Pages 278-293
  21. Se-Won Kim, Kwang-Moo Choe
    Pages 294-308
  22. Shuvendu K. Lahiri, Julien Vanegue
    Pages 309-323
  23. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher et al.
    Pages 324-339
  24. Nuno P. Lopes, Andrey Rybalchenko
    Pages 340-355
  25. Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
    Pages 356-370
  26. Ruzica Piskac, Thomas Wies
    Pages 371-386
  27. Stephen F. Siegel, Timothy K. Zirkel
    Pages 387-402
  28. Philippe Suter, Robin Steiger, Viktor Kuncak
    Pages 403-418
  29. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.

The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.


communication fabrics contract deadlocks deductive methods design by contract

Editors and affiliations

  • Ranjit Jhala
    • 1
  • David Schmidt
    • 2
  1. 1.UC San DiegoUSA
  2. 2.Department of Computing and Information SciencesKansas State UniversityManhattanUSA

Bibliographic information

Industry Sectors
IT & Software