Luc Maranget
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
1991–2020
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ESOP | ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. | Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell |
| 2018 | ASPLOS | Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. | Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern |
| 2017 | POPL | 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 |
| 2016 | POPL | 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 |
| 2014 | PLDI | Herding cats: modelling, simulation, testing, and data-mining for weak memory. | Jade Alglave, Luc Maranget, Michael Tautschnig |
| 2012 | CAV | 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 |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2011 | CAV | Stability in Weak Memory Models. | Jade Alglave, Luc Maranget |
| 2011 | PLDI | Understanding POWER multiprocessors. | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
| 2011 | TACAS | Litmus: Running Tests against Hardware. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2010 | CAV | Fences in Weak Memory Models. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2008 | ESOP | Programming in JoCaml (Tool Demonstration). | Louis Mandel, Luc Maranget |
| 2004 | CONCUR | Compiling Pattern Matching in Join-Patterns. | Qin Ma, Luc Maranget |
| 2003 | APLAS | Expressive Synchronization Types for Inheritance in the Join Calculus. | Qin Ma, Luc Maranget |
| 2001 | ICFP | Optimizing Pattern Matching. | Fabrice Le Fessant, Luc Maranget |
| 1997 | CONCUR | Implicit Typing la ML for the Join-Calculus. | Cdric Fournet, Cosimo Laneve, Luc Maranget, Didier Rmy |
| 1996 | CONCUR | A Calculus of Mobile Agents. | Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy |
| 1996 | ICFP | Functional Back-Ends within the Lambda-Sigma Calculus. | Thrse Hardin, Luc Maranget, Bruno Pagano |
| 1991 | POPL | Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. | Luc Maranget |