| 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:
@article{aknp2016-toplas,
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 },
YEAR = { 2017 },
PUBLISHER = { ACM },
JOURNAL = { ACM Transactions on Programming Languages and Systems (TOPLAS) },
VOLUME = { 39 },
ISSUE = { 2 },
MONTH = { May },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.