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
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Type de document :
Communication dans un congrès
POPL, Jan 2011, Austin, TX, United States. 2011
Liste complète des métadonnées
https://hal.inria.fr/hal-00907801
Contributeur : Francesco Zappa Nardelli <>
Soumis le : jeudi 21 novembre 2013 - 17:41:50
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Identifiants

  • 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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

101

Contact


archive-ouverte@inria.fr