Full abstraction for Idealized Algol with passive expressions, Theoretical Computer Science, vol.227, issue.1-2, p.342, 1999. ,
DOI : 10.1016/S0304-3975(99)00047-X
A formal hierarchy of weak memory models. Formal Methods in System Design, p.178210, 2012. ,
The Problem of Programming Language Concurrency Semantics, Programming Languages and Systems -24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software Proceedings, volume 9032 of Lecture Notes in Computer Science, p.283307, 2015. ,
DOI : 10.1007/978-3-662-46669-8_12
Clarifying and compiling C/C++ concurrency: from C++11 to POWER, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p.509520, 2012. ,
Verifying Local Transformations on Relaxed Memory Models, Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software Proceedings, volume 6011 of Lecture Notes in Computer Science, p.104123, 2010. ,
DOI : 10.1007/978-3-642-11970-5_7
La stratégie de la fourchette, Vingt-sixièmes Journées Francophones des Langages Applicatifs, 2015. ,
The Parallel Intensionally Fully Abstract Games Model of PCF, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015. ,
DOI : 10.1109/LICS.2015.31
URL : https://hal.archives-ouvertes.fr/hal-01286477
The Java Memory Model: Operationally, Denotationally, Axiomatically, Programming Languages and Systems, 16th European Symposium on Programming Held as Part of the Joint European Conferences on Theory and Practics of Software Proceedings, volume 4421 of Lecture Notes in Computer Science, p.331346, 2007. ,
DOI : 10.1007/978-3-540-71316-6_23
Angelic semantics of ne-grained concurrency, 2007. ,
An axiomatic memory model for POWER multiprocessors ,
URL : https://hal.archives-ouvertes.fr/hal-01100773
Concurrent Strategies, 2011 IEEE 26th Annual Symposium on Logic in Computer Science, p.409418, 2011. ,
DOI : 10.1109/LICS.2011.13
On validity of program transformations in the Java memory model ,