Luc Maranget

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 7

Top Topics

Computational Power

Nested Transactions

Memory Hierarchy

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Azalea Raad, Luc Maranget, Viktor Vafeiadis
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget
Armed Cats: Formal Concurrency Modelling at Arm. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. ESOP (2020)
Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. ASPLOS (2018)
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
Mixed-size concurrency: ARM, POWER, C/C++11, and SC. POPL (2017)
Jade Alglave, Patrick Cousot, Luc Maranget
Syntax and semantics of the weak consistency model specification language cat. CoRR (2016)
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
Modelling the ARMv8 architecture, operationally: concurrency and ISA. POPL (2016)
Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen
I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. 3 (2015)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA (2014)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding cats: modelling, simulation, testing, and data-mining for weak memory. PLDI (2014)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding Cats. CoRR (2013)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Fences in weak memory models (extended version). Formal Methods Syst. Des. 40 (2) (2012)
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
Synchronising C/C++ and POWER. PLDI (2012)
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
An Axiomatic Memory Model for POWER Multiprocessors. CAV (2012)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Litmus: Running Tests against Hardware. TACAS (2011)
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
Understanding POWER multiprocessors. PLDI (2011)
Jade Alglave, Luc Maranget
Stability in Weak Memory Models. CAV (2011)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Fences in Weak Memory Models. CAV (2010)
Luc Maranget
Compiling pattern matching to good decision trees. ML (2008)
Qin Ma, Luc Maranget
Algebraic Pattern Matching in Join Calculus. Log. Methods Comput. Sci. 4 (1) (2008)
Qin Ma, Luc Maranget
Algebraic pattern matching in join calculus CoRR (2008)
Louis Mandel, Luc Maranget
Programming in JoCaml (Tool Demonstration). ESOP (2008)
Luc Maranget
Warnings for pattern matching. J. Funct. Program. 17 (3) (2007)
Qin Ma, Luc Maranget
Information Hiding in the Join Calculus. ASIAN (2006)
Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles (2005)
Luc Maranget
Functional satisfaction. J. Funct. Program. 14 (6) (2004)
Qin Ma, Luc Maranget
Compiling Pattern Matching in Join-Patterns. CONCUR (2004)
Qin Ma, Luc Maranget
Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS (2003)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
Inheritance in the join calculus. J. Log. Algebraic Methods Program. 57 (1-2) (2003)
Luc Maranget
Les avertissements du filtrage. JFLA (2003)
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
JoCaml: A Language for Concurrent Distributed and Mobile Programming. Advanced Functional Programming (2002)
Fabrice Le Fessant, Luc Maranget
Optimizing Pattern Matching. ICFP (2001)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
Inheritance in the Join Calculus. FSTTCS (2000)
Jean-Jacques Lévy, Luc Maranget
Explicit Substitutions and Programming Languages. FSTTCS (1999)
Thérèse Hardin, Luc Maranget
Functional Runtime Systems Within the Lambda-Sigma Calculus. J. Funct. Program. 8 (2) (1998)
Fabrice Le Fessant, Luc Maranget
Compiling Join-Patterns. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
Implicit Typing à la ML for the Join-Calculus. CONCUR (1997)
Thérèse Hardin, Luc Maranget, Bruno Pagano
Functional Back-Ends within the Lambda-Sigma Calculus. ICFP (1996)
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
A Calculus of Mobile Agents. CONCUR (1996)
Luc Maranget
Compiling Lazy Pattern Matching. LISP and Functional Programming (1992)
Luc Maranget
Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. POPL (1991)
Luc Maranget
GAML: a Parallel Implementation of Lazy ML. FPCA (1991)