GAML: a Parallel Implementation of Lazy ML. - Luc Maranget (FPCA, 1991)

Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. - Luc Maranget (POPL, 1991)

Compiling Lazy Pattern Matching. - Luc Maranget (LISP and Functional Programming, 1992)

A Calculus of Mobile Agents. - Cédric Fournet; Georges Gonthier; Jean-Jacques Lévy; Luc Maranget; Didier Rémy (CONCUR, 1996)

Functional Back-Ends within the Lambda-Sigma Calculus. - Thérèse Hardin; Luc Maranget; Bruno Pagano (ICFP, 1996)

Implicit Typing à la ML for the Join-Calculus. - Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy (CONCUR, 1997)

Compiling Join-Patterns. - Fabrice Le Fessant; Luc Maranget (HLCL, 1998)

Functional Runtime Systems Within the Lambda-Sigma Calculus. - Thérèse Hardin; Luc Maranget (J. Funct. Program., 1998)

Explicit Substitutions and Programming Languages. - Jean-Jacques Lévy; Luc Maranget (FSTTCS, 1999)

Optimizing Pattern Matching. - Fabrice Le Fessant; Luc Maranget (ICFP, 2001)

JoCaml: A Language for Concurrent Distributed and Mobile Programming. - Cédric Fournet; Fabrice Le Fessant; Luc Maranget; Alan Schmitt (Advanced Functional Programming, 2002)

Expressive Synchronization Types for Inheritance in the Join Calculus. - Qin Ma 002; Luc Maranget (APLAS, 2003)

Les avertissements du filtrage. - Luc Maranget (JFLA, 2003)

Inheritance in the join calculus. - Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy (J. Log. Algebraic Methods Program., 2003)

Compiling Pattern Matching in Join-Patterns. - Qin Ma 002; Luc Maranget (CONCUR, 2004)

Functional satisfaction. - Luc Maranget (J. Funct. Program., 2004)

Sharing in the Weak Lambda-Calculus. - Tomasz Blanc; Jean-Jacques Lévy; Luc Maranget (Processes, Terms and Cycles, 2005)

Information Hiding in the Join Calculus. - Qin Ma 002; Luc Maranget (ASIAN, 2006)

Warnings for pattern matching. - Luc Maranget (J. Funct. Program., 2007)

Programming in JoCaml (Tool Demonstration). - Louis Mandel; Luc Maranget (ESOP, 2008)

Compiling pattern matching to good decision trees. - Luc Maranget (ML, 2008)

Algebraic Pattern Matching in Join Calculus. - Qin Ma 002; Luc Maranget (Log. Methods Comput. Sci., 2008)

Fences in Weak Memory Models. - Jade Alglave; Luc Maranget; Susmit Sarkar; Peter Sewell (CAV, 2010)

Stability in Weak Memory Models. - Jade Alglave; Luc Maranget (CAV, 2011)

Understanding POWER multiprocessors. - Susmit Sarkar; Peter Sewell; Jade Alglave; Luc Maranget; Derek Williams (PLDI, 2011)

Litmus: Running Tests against Hardware. - Jade Alglave; Luc Maranget; Susmit Sarkar; Peter Sewell (TACAS, 2011)

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 (CAV, 2012)

Synchronising C/C++ and POWER. - Susmit Sarkar; Kayvan Memarian; Scott Owens; Mark Batty; Peter Sewell; Luc Maranget; Jade Alglave; Derek Williams (PLDI, 2012)

Fences in weak memory models (extended version). - Jade Alglave; Luc Maranget; Susmit Sarkar; Peter Sewell (Formal Methods Syst. Des., 2012)

Herding Cats. - Jade Alglave; Luc Maranget; Michael Tautschnig (CoRR, 2013)

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. - Sylvain Conchon; David Declerck; Luc Maranget; Alain Mebsout (JFLA, 2014)

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. - Jade Alglave; Luc Maranget; Michael Tautschnig (ACM Trans. Program. Lang. Syst., 2014)

I compute, therefore I am (buggy): methodic doubt meets multiprocessors. - Jade Alglave; Luc Maranget; Daniel Poetzl; Tyler Sorensen 001 (Adv. Math. Commun., 2015)

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 (POPL, 2016)

Syntax and semantics of the weak consistency model specification language cat. - Jade Alglave; Patrick Cousot; Luc Maranget (CoRR, 2016)

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 (POPL, 2017)

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. - Jade Alglave; Luc Maranget; Paul E. McKenney; Andrea Parri; Alan S. Stern (ASPLOS, 2018)

ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. - Ben Simner; Shaked Flur; Christopher Pulte; Alasdair Armstrong; Jean Pichon-Pharabod; Luc Maranget; Peter Sewell (ESOP, 2020)

Armed Cats: Formal Concurrency Modelling at Arm. - Jade Alglave; Will Deacon; Richard Grisenthwaite; Antoine Hacquard; Luc Maranget (ACM Trans. Program. Lang. Syst., 2021)

Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. - Azalea Raad; Luc Maranget; Viktor Vafeiadis (Proc. ACM Program. Lang., 2022)

Puss in Boots: Formalizing Arm's Virtual Memory System Architecture. - Jade Alglave; Richard Grisenthwaite; Artem Khyzha; Luc Maranget; Nikos Nikoleris (IEEE Micro, 2024)