Luc Maranget

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