( en | de | ru )

 

Disambiguation of "Maranget, Luc"

Author of the publication

copydeleteadd this publication to your clipboard
Stability in Weak Memory Models.

, and . CAV, volume 6806 of Lecture Notes in Computer Science, page 50-66. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luc Segoufin

Luc Turmes

Luc Seysoux

Luc Buatois

Luc Ardaillon

 

Other publications of authors with the same name

Algebraic pattern matching in join calculus, and . CoRR, (2008)Programming in JoCaml (Tool Demonstration)., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 108-111. Springer, (2008)An Axiomatic Memory Model for POWER Multiprocessors., , , , , , , , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 495-512. Springer, (2012)Herding cats: modelling, simulation, testing, and data-mining for weak memory., , and . PLDI, page 40. ACM, (2014)Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.. POPL, page 255-269. ACM Press, (1991)Expressive Synchronization Types for Inheritance in the Join Calculus., and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 20-36. Springer, (2003)Fences in Weak Memory Models., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 258-272. Springer, (2010)Litmus: Running Tests against Hardware., , , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 41-44. Springer, (2011)Inheritance in the Join Calculus., , , and . FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 397-408. Springer, (2000)Les avertissements du filtrage.. JFLA, page 3-20. INRIA, (2003)