PAPERS

Title:Software Verification for Weak Memory via Program Transformation
Links:Homepage
Document as PDF
Authors:Jade Alglave
Daniel Kroening EMail
Vincent Nimal
Michael Tautschnig
Remarks:
Topics:

Bibtex:

@inproceedings{aknt2013-esop,
  AUTHOR    = { Alglave, Jade
                and Kroening, Daniel
                and Nimal, Vincent
                and Tautschnig, Michael },
  TITLE     = { Software Verification for Weak Memory via Program Transformation },
  BOOKTITLE = { European Symposium on Programming (ESOP) },
  YEAR      = { 2013 },
  PUBLISHER = { Springer },
  PAGES     = { 512--532 },
  ISBN      = { 978-3-642-37035-9 },
  SERIES    = { LNCS },
  NUMBER    = { 7792 },
  EDITOR    = { M. Felleisen and P. Gardner },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.