PAPERS

Title:Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
Links:Homepage
Document as PDF
Authors:Jade Alglave
Daniel Kroening EMail
Vincent Nimal
Daniel Poetzl
Remarks:
Topics:

Bibtex:

@inproceedings{aknp2014-cav,
  AUTHOR    = { Alglave, Jade
                and Kroening, Daniel
                and Nimal, Vincent
                and Poetzl, Daniel },
  TITLE     = { Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion },
  BOOKTITLE = { Computer Aided Verification (CAV) },
  YEAR      = { 2014 },
  PUBLISHER = { Springer },
  PAGES     = { 508--524 },
  ISBN      = { 978-3-319-08866-2 },
  SERIES    = { LNCS },
  VOLUME    = { 8559 },
}

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