Relaxed-memory concurrency and verified compilation

Jaroslav Sevcik Viktor Vafeiadis Francesco Zappa Nardelli 1 Suresh Jagannathan Peter Sewell
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Document type :
Conference papers
Liste complète des métadonnées
https://hal.inria.fr/hal-00907801
Contributor : Francesco Zappa Nardelli <>
Submitted on : Thursday, November 21, 2013 - 5:41:50 PM
Last modification on : Monday, January 28, 2019 - 9:04:16 AM

Identifiers

  • HAL Id : hal-00907801, version 1

Collections

INRIA | ENS-PARIS | PSL | INRIA-ROCQ

Citation

Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. Relaxed-memory concurrency and verified compilation. POPL, Jan 2011, Austin, TX, United States. 2011. 〈hal-00907801〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

106

Contact


archive-ouverte@inria.fr