Ignore:
Timestamp:
Jun 15, 2012, 1:58:32 PM (7 years ago)
Author:
mulligan
Message:

Added reference to CompCert? and CompCertTSO.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-asm/cpp-2012-asm.bib

    r2092 r2095  
    113113
    114114@inproceedings
     115{ sevcik:relaxed-memory:2011,
     116  author = {Jaroslav \v{S}ev\v{c}\'ik and Viktor Vafeiadis and  Francesco {Zappa Nardelli} and Suresh Jagannathan and Peter Sewell},
     117  title = {Relaxed-Memory Concurrency and Verified Compilation},
     118  booktitle = {Principles of Programming Languages {(POPL)}},
     119  year = {2011}
     120}
     121
     122@inproceedings
    115123{ tuch:types:2007,
    116124  author = {Harvey Tuch and Gerwin Klein and Michael Norrish},
Note: See TracChangeset for help on using the changeset viewer.