Get started
Author

Luc Maranget

A calculus of mobile agents
1996 · Cédric Fournet, Georges Gonthier, et al. · Lecture notes in computer science · 423
Herding Cats
2014 · Jade Alglave, Luc Maranget, et al. · ACM Transactions on Programming Languages and Systems · 398
PDF
Understanding POWER multiprocessors
2011 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 225
Understanding POWER multiprocessors
2011 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Notices · 173
Fences in Weak Memory Models
2010 · Jade Alglave, Luc Maranget, et al. · Lecture notes in computer science · 163
PDF
Modelling the ARMv8 architecture, operationally: concurrency and ISA
2016 · Shaked Flur, Kathryn E. Gray, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 159
PDF
An Axiomatic Memory Model for POWER Multiprocessors
2012 · Sela Mador-Haim, Luc Maranget, et al. · Lecture notes in computer science · 131
PDF
Litmus: Running Tests against Hardware
2011 · Jade Alglave, Luc Maranget, et al. · Lecture notes in computer science · 120
Synchronising C/C++ and POWER
2012 · Susmit Sarkar, Kayvan Memarian, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 108
Optimizing pattern matching
2001 · Fabrice Le Fessant, Luc Maranget · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 88
Stability in Weak Memory Models
2011 · Jade Alglave, Luc Maranget · Lecture notes in computer science · 68
PDF
Compiling pattern matching to good decision trees
2008 · Luc Maranget · ACM SIGPLAN Workshop on ML (ML) · 65
Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems
1991 · Luc Maranget · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 64
PDF
Functional runtime systems within the lambda-sigma calculus
1998 · THÉRÈSE HARDIN, LUC MARANGET, et al. · Journal of Functional Programming · 63
PDF
Armed Cats
2021 · Jade Alglave, Will Deacon, et al. · ACM Transactions on Programming Languages and Systems · 60
PDF
Frightening Small Children and Disconcerting Grown-ups
2018 · Jade Alglave, Luc Maranget, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 56
PDF
Implicit typing à la ML for the join-calculus
1997 · Cédric Fournet, Luc Maranget, et al. · Lecture notes in computer science · 55
JoCaml: A Language for Concurrent Distributed and Mobile Programming
2003 · Cédric Fournet, Fabrice Le Fessant, et al. · Lecture notes in computer science · 52
Herding cats
2014 · Jade Alglave, Luc Maranget, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 44
Warnings for pattern matching
2007 · LUC MARANGET · Journal of Functional Programming · 44
PDF
Fences in weak memory models (extended version)
2012 · Jade Alglave, Luc Maranget, et al. · Formal Methods in System Design · 43
Mixed-size concurrency: ARM, POWER, C/C++11, and SC
2016 · Shaked Flur, Susmit Sarkar, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 41
Compiling lazy pattern matching
1992 · Luc Maranget · ACM Conference on LISP and Functional Programming (LFP) · 34
PDF
Syntax and semantics of the weak consistency model specification language cat
2016 · Alglave, Jade, Cousot, Patrick, et al. · arXiv (Cornell University) · 32
PDF
Functional back-ends within the lambda-sigma calculus
1996 · Thérèse Hardin, Luc Maranget, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 31
Works count: 98
Citation count: 3,119
H-index: 27
I10-index: 39
Year
Topic
Type