Changeset 2093 for src/ASM/CPP2012-policy/biblio.bib

Timestamp:

Jun 15, 2012, 1:55:52 PM (8 years ago)

Author:

boender

Message:

• added reference to CompCertTSO

File:

• src/ASM/CPP2012-policy/biblio.bib (modified) (1 diff)

src/ASM/CPP2012-policy/biblio.bib

@@ -120 +120 @@
   year = {2007}
 }
+
+@article{TSO2011,
+ author = {\&\#348;ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter},
+ title = {Relaxed-memory concurrency and verified compilation},
+ journal = {SIGPLAN Not.},
+ issue_date = {January 2011},
+ volume = {46},
+ number = {1},
+ month = jan,
+ year = {2011},
+ issn = {0362-1340},
+ pages = {43--54},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/1925844.1926393},
+ doi = {10.1145/1925844.1926393},
+ acmid = {1926393},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {relaxed memory models, semantics, verifying compilation},
+} 
+
+@inproceedings{\&\#348;evcik:2011:RCV:1926385.1926393,
+ author = {\&\#348;ev\v{c}ik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter},
+ title = {Relaxed-memory concurrency and verified compilation},
+ booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
+ series = {POPL '11},
+ year = {2011},
+ isbn = {978-1-4503-0490-0},
+ location = {Austin, Texas, USA},
+ pages = {43--54},
+ numpages = {12},
+ url = {http://doi.acm.org/10.1145/1926385.1926393},
+ doi = {10.1145/1926385.1926393},
+ acmid = {1926393},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {relaxed memory models, semantics, verifying compilation},
+}