Changeset 2093 for src/ASM/CPP2012-policy/biblio.bib
- Timestamp:
- Jun 15, 2012, 1:55:52 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2012-policy/biblio.bib
r2091 r2093 120 120 year = {2007} 121 121 } 122 123 @article{TSO2011, 124 author = {\&\#348;ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter}, 125 title = {Relaxed-memory concurrency and verified compilation}, 126 journal = {SIGPLAN Not.}, 127 issue_date = {January 2011}, 128 volume = {46}, 129 number = {1}, 130 month = jan, 131 year = {2011}, 132 issn = {0362-1340}, 133 pages = {43--54}, 134 numpages = {12}, 135 url = {http://doi.acm.org/10.1145/1925844.1926393}, 136 doi = {10.1145/1925844.1926393}, 137 acmid = {1926393}, 138 publisher = {ACM}, 139 address = {New York, NY, USA}, 140 keywords = {relaxed memory models, semantics, verifying compilation}, 141 } 142 143 @inproceedings{\&\#348;evcik:2011:RCV:1926385.1926393, 144 author = {\&\#348;ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter}, 145 title = {Relaxed-memory concurrency and verified compilation}, 146 booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 147 series = {POPL '11}, 148 year = {2011}, 149 isbn = {978-1-4503-0490-0}, 150 location = {Austin, Texas, USA}, 151 pages = {43--54}, 152 numpages = {12}, 153 url = {http://doi.acm.org/10.1145/1926385.1926393}, 154 doi = {10.1145/1926385.1926393}, 155 acmid = {1926393}, 156 publisher = {ACM}, 157 address = {New York, NY, USA}, 158 keywords = {relaxed memory models, semantics, verifying compilation}, 159 }
Note: See TracChangeset
for help on using the changeset viewer.