Travelled to:1 × China
1 × Germany
1 × Hungary
1 × Italy
3 × United Kingdom
7 × USA
Collaborated with:J.Alglave ∅ S.Sarkar P.Sewell F.L.Fessant L.Mandel D.Williams M.Tautschnig T.Hardin B.Pagano C.Fournet A.Schmitt M.Batty S.Flur K.E.Gray Christopher Pulte A.Sezgin K.Memarian S.Owens P.E.McKenney Andrea Parri Alan S. Stern Will Deacon K.Nienhuis S.Mador-Haim R.Alur M.M.K.Martin
Talks about:model (5) concurr (4) memori (4) power (4) weak (4) multiprocessor (2) program (2) pattern (2) optim (2) match (2)
Person: Luc Maranget
DBLP: Maranget:Luc
Contributed to:
2014
2012201220112011
20112010
2008
2002
20011996
1992
1991
199120162017
2018Wrote 17 papers:
- PLDI-2014-AlglaveMT #memory management #modelling #simulation #testing
- Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
- CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi
- An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.
- PLDI-2012-SarkarMOBSMAW #c #c++
- Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
- CAV-2011-AlglaveM #memory management #modelling
- Stability in Weak Memory Models (JA, LM), pp. 50–66.
- PLDI-2011-SarkarSAMW #comprehension #multi
- Understanding POWER multiprocessors (SS, PS, JA, LM, DW), pp. 175–186.
- TACAS-2011-AlglaveMSS #hardware #named #testing
- Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
- CAV-2010-AlglaveMSS #memory management #modelling
- Fences in Weak Memory Models (JA, LM, SS, PS), pp. 258–272.
- ESOP-2008-MandelM #programming
- Programming in JoCaml (LM, LM), pp. 108–111.
- AFP-2002-FournetFMS02 #concurrent #distributed #mobile #named #programming
- JoCaml: A Language for Concurrent Distributed and Mobile Programming (CF, FLF, LM, AS), pp. 129–158.
- ICFP-2001-FessantM #optimisation #pattern matching
- Optimizing Pattern Matching (FLF, LM), pp. 26–37.
- ICFP-1996-HardinMP #calculus #functional
- Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.
- LFP-1992-Maranget #compilation #lazy evaluation #pattern matching
- Compiling Lazy Pattern Matching (LM), pp. 21–31.
- FPCA-1991-Maranget #implementation #lazy evaluation #ml #named #parallel
- GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.
- POPL-1991-Maranget #orthogonal #term rewriting #λ-calculus
- Optimal Derivations in Weak λ-calculi and in Orthogonal Terms Rewriting Systems (LM), pp. 255–269.
- POPL-2016-FlurGPSSMDS #architecture #concurrent #modelling
- Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
- POPL-2017-FlurSPNMGSBS #concurrent
- Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.
- ASPLOS-2018-AlglaveMMPS #concurrent #kernel #linux
- Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel (JA, LM, PEM, AP, ASS), pp. 405–418.