| 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.