Luc Maranget
Luc Maranget
Verified email at inria.fr
Title
Cited by
Cited by
Year
A calculus of mobile agents
C Fournet, G Gonthier, JJ Lévy, L Maranget, D Rémy
International Conference on Concurrency Theory, 406-421, 1996
6161996
Herding cats: Modelling, simulation, testing, and data mining for weak memory
J Alglave, L Maranget, M Tautschnig
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 2014
2562014
Understanding POWER multiprocessors
S Sarkar, P Sewell, J Alglave, L Maranget, D Williams
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2392011
Fences in weak memory models (extended version)
J Alglave, L Maranget, S Sarkar, P Sewell
Formal Methods in System Design 40 (2), 170-205, 2012
153*2012
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
International Conference on Computer Aided Verification, 495-512, 2012
1102012
Modelling the ARMv8 architecture, operationally: Concurrency and ISA
S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ...
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
1092016
Implicit typing à la ML for the join-calculus
C Fournet, L Maranget, C Laneve, D Rémy
International Conference on Concurrency Theory, 196-212, 1997
1041997
Optimizing pattern matching
F Le Fessant, L Maranget
ACM SIGPLAN Notices 36 (10), 26-37, 2001
1012001
Synchronising c/c++ and power
S Sarkar, K Memarian, S Owens, M Batty, P Sewell, L Maranget, J Alglave, ...
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
962012
Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems
L Maranget
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
881991
JoCaml: A language for concurrent distributed and mobile programming
C Fournet, F Le Fessant, L Maranget, A Schmitt
International School on Advanced Functional Programming, 129-158, 2002
852002
Litmus: Running Tests against Hardware
J Alglave, L Maranget, S Sarkar, P Sewell
International Conference on Tools and Algorithms for the Construction and …, 2011
822011
Functional runtime systems within the lambda-sigma calculus
T Hardin, L Maranget, B Pagano
Journal of Functional Programming 8 (2), 131-176, 1998
741998
Stability in weak memory models
J Alglave, L Maranget
International Conference on Computer Aided Verification, 50-66, 2011
642011
Compiling join-patterns
F Le Fessant, L Maranget
Electronic Notes in Theoretical Computer Science 16 (3), 205-224, 1998
631998
Compiling pattern matching to good decision trees
L Maranget
Proceedings of the 2008 ACM SIGPLAN workshop on ML, 35-46, 2008
592008
Functional back-ends within the lambda-sigma calculus
T Hardin, L Maranget, B Pagano
ACM SIGPLAN Notices 31 (6), 25-33, 1996
481996
A tutorial introduction to the ARM and POWER relaxed memory models
L Maranget, S Sarkar, P Sewell
Draft available from http://www. cl. cam. ac. uk/~ pes20/ppc-supplemental …, 2012
462012
La stratégie paresseuse
L Maranget
Paris 7, 1992
461992
Warnings for pattern matching
L Maranget
Journal of Functional Programming 17 (3), 387-421, 2007
372007
The system can't perform the operation now. Try again later.
Articles 1–20