BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maranget:Luc

Contributed to:

PLDI 20142014
CAV 20122012
PLDI 20122012
CAV 20112011
PLDI 20112011
TACAS 20112011
CAV 20102010
ESOP 20082008
AFP 20022002
ICFP 20012001
ICFP 19961996
LFP 19921992
FPCA 19911991
POPL 19911991
POPL 20162016
POPL 20172017
ASPLOS 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.