[12]
“Mixed-size concurrency: ARM, POWER, C/C++11, and SC”
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell,
43rd Annual Symposium on
Principles of Programming Languages, (POPL’17), January 2017.
[13]
“Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA”
Shaked Flur,
Kathryn E. Gray,
Christopher Pulte,
Susmit Sarkar,
Ali Sezgin,
Luc Maranget,
Will Deacon,
Peter Sewell
43rd Annual Symposium on
Principles of Programming Languages, (POPL’16), January 2016.
[14]
“An Axiomatic Memory Model for POWER Multiprocessors”
Sela Mador-Haim,
Luc Maranget,
Susmit Sarkar,
Kayvan Memarian,
Jade Alglave,
Scott Owens,
Rajeev Alur,
Milo M. K. Martin,
Peter Sewell,
Derek Williams
Computer Aided Verification, 24th International Conference (CAV’12),
July 2012.
[15]
“Synchronising C/C++ and POWER”
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget.
33rd ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI’2012),
June 2012.
[16]
“Stability in Weak Memory Models”
Jade Alglave and Luc Maranget,
Computer Aided Verification, 23rd International Conference (CAV’11),
July 2011.
[17]
“Understanding POWER Multiprocessors”
Susmit Sarkar,
Peter Sewell,
Jade Alglave,
Luc Maranget,
Derek Williams,
32nd ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI’2011),
June 2011.
[18]
“Litmus: Running Tests Against Hardware”
Jade Alglave, S. Sarkar and P. Sewell,
7th International Conference on
Tools and Algorithms for the Construction
and Analysis of Systems (TACAS’2011),
March 2011.
[19]
“Fences in Weak Memory Models”
Jade Alglave, Luc Maranget, Susmit Sarkar and Peter Sewell,
Computer Aided Verification, 22nd International Conference (CAV’10),
July 2010.
[21] “Information Hiding in
the Join Calculus”, Ma Qin, Luc Maranget, 11th Annual Asian Computing Science
Conference (ASIAN’06), LNCS, Springer,
Tokyo, December 2006. See also [50].
[37]
“Compiling Join-Patterns”,
Fabrice Le Fessant, Luc Maranget, HLCL’98,
proceedings in Electronic Notes in Computer Science, 16-1,
1999, Elsevier, (details).
Others
[38]
“Évaluation des Logiciels”,
Canteaut, Anne and Fernández, Miguel Angel and Maranget, Luc and Perin, Sophie and Ricchiuto, Mario and Serrano, Manuel and Thomé, Emmanuel. Rapport de recherche Inria, Jan. 2021.
[46]
“Sharing in the Weak Lambda-Calculus Revisited”
with Tomasz. Blanc, Jean-Jacques Lévy, Luc Maranget, In
Reflections
on Type Theory, Lambda Calculus, and the Mind
Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday,
December 2007.
[49]
“Sharing in the Weak Lambda-Calculus”,
Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget,
Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th
Birthday, LNCS 3838, 2005.