| Title: | Soundness of Data Flow Analyses for Weak Memory Models |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Jade Alglave |
| Daniel Kroening EMail | |
| John Lugton | |
| Vincent Nimal | |
| Michael Tautschnig | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{aklnt2011,
AUTHOR = { Alglave, Jade
and Kroening, Daniel
and Lugton, John
and Nimal, Vincent
and Tautschnig, Michael },
TITLE = { Soundness of Data Flow Analyses for Weak Memory Models },
BOOKTITLE = { Asian Symposium on Programming Languages and Systems (APLAS) },
YEAR = { 2011 },
PUBLISHER = { Springer },
PAGES = { 272--288 },
SERIES = { LNCS },
VOLUME = { 7078 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.