( en | de | ru )

 

Disambiguation of "Maranget, Luc"

Author of the publication

copydeleteadd this publication to your clipboard
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.

, , , , , , , , and . POPL, page 429-442. ACM, (2017)

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

Expressive Synchronization Types for Inheritance in the Join Calculus., and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 20-36. Springer, (2003)Syntax and semantics of the weak consistency model specification language cat., , and . CoRR, (2016)Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.. POPL, page 255-269. ACM Press, (1991)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)Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores., , and . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)An Axiomatic Memory Model for POWER Multiprocessors., , , , , , , , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 495-512. Springer, (2012)Programming in JoCaml (Tool Demonstration)., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 108-111. Springer, (2008)Algebraic Pattern Matching in Join Calculus., and . Logical Methods in Computer Science, (2008)