Changeset 2095 for src/ASM/CPP2012-asm/cpp-2012-asm.bib

Timestamp:

Jun 15, 2012, 1:58:32 PM (9 years ago)

Author:

mulligan

Message:

Added reference to CompCert? and CompCertTSO.

File:

• src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified) (1 diff)

src/ASM/CPP2012-asm/cpp-2012-asm.bib

@@ -113 +113 @@
 
 @inproceedings
+{ sevcik:relaxed-memory:2011,
+  author = {Jaroslav \v{S}ev\v{c}\'ik and Viktor Vafeiadis and  Francesco {Zappa Nardelli} and Suresh Jagannathan and Peter Sewell},
+  title = {Relaxed-Memory Concurrency and Verified Compilation},
+  booktitle = {Principles of Programming Languages {(POPL)}},
+  year = {2011}
+}
+
+@inproceedings
 { tuch:types:2007,
   author = {Harvey Tuch and Gerwin Klein and Michael Norrish},