Luc Maranget Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in weak memory models (extended version). Formal Methods in System Design 40(2): 170-205 (2012)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams: An Axiomatic Memory Model for POWER Multiprocessors. CAV 2012: 495-512
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams: Synchronising C/C++ and POWER. PLDI 2012: 311-322
2011
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jade Alglave, Luc Maranget: Stability in Weak Memory Models. CAV 2011: 50-66
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams: Understanding POWER multiprocessors. PLDI 2011: 175-186
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Litmus: Running Tests against Hardware. TACAS 2011: 41-44
2010
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in Weak Memory Models. CAV 2010: 258-272
2008
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Ma, Luc Maranget: Algebraic Pattern Matching in Join Calculus. Logical Methods in Computer Science 4(1) (2008)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Louis Mandel, Luc Maranget: Programming in JoCaml (Tool Demonstration). ESOP 2008: 108-111
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: Compiling pattern matching to good decision trees. ML 2008: 35-46
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Ma, Luc Maranget: Algebraic pattern matching in join calculus. CoRR abs/0802.4018 (2008)
2007
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: Warnings for pattern matching. J. Funct. Program. 17(3): 387-421 (2007)
2006
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Ma, Luc Maranget: Information Hiding in the Join Calculus. ASIAN 2006: 240-247
2005
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget: Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles 2005: 70-87
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: Functional satisfaction. J. Funct. Program. 14(6): 647-656 (2004)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Ma, Luc Maranget: Compiling Pattern Matching in Join-Patterns. CONCUR 2004: 417-431
2003
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the join calculus. J. Log. Algebr. Program. 57(1-2): 23-69 (2003)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Ma, Luc Maranget: Expressive Synchronization Types for Inheritance in the Join Calculus. APLAS 2003: 20-36
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: Les avertissements du filtrage. JFLA 2003: 3-20
2002
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt: JoCaml: A Language for Concurrent Distributed and Mobile Programming. Advanced Functional Programming 2002: 129-158
2001
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrice Le Fessant, Luc Maranget: Optimizing Pattern Matching. ICFP 2001: 26-37
2000
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408
1999
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Jacques Lévy, Luc Maranget: Explicit Substitutions and Programming Languages. FSTTCS 1999: 181-200
1998
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrice Le Fessant, Luc Maranget: Compiling Join-Patterns. Electr. Notes Theor. Comput. Sci. 16(3): 205-224 (1998)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thérèse Hardin, Luc Maranget: Functional Runtime Systems Within the Lambda-Sigma Calculus. J. Funct. Program. 8(2): 131-176 (1998)
1997
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Implicit Typing à la ML for the Join-Calculus. CONCUR 1997: 196-212
1996
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thérèse Hardin, Luc Maranget, Bruno Pagano: Functional Back-Ends within the Lambda-Sigma Calculus. ICFP 1996: 25-33
1992
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: Compiling Lazy Pattern Matching. LISP and Functional Programming 1992: 21-31
1991
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: GAML: a Parallel Implementation of Lazy ML. FPCA 1991: 102-123
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luc Maranget: Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. POPL 1991: 255-269

Coauthor Index

1Jade Alglave
[j7] [c23] [c22] [c21] [c20] [c19] [c18]
2Rajeev Alur
[c23]
3Mark Batty
[c22]
4Tomasz Blanc
[c14]
5Fabrice Le Fessant
[c10] [c9] [j2]
6Cédric Fournet
[j3] [c10] [c8] [c6] [c5]
7Georges Gonthier
[c5]
8Thérèse Hardin
[j1] [c4]
9Cosimo Laneve
[j3] [c8] [c6]
10Jean-Jacques Lévy
[c14] [c7] [c5]
11Qin Ma 0002
[j6] [i1] [c15] [c13] [c12]
12Sela Mador-Haim
[c23]
13Louis Mandel
[c17]
14Milo M. K. Martin
[c23]
15Kayvan Memarian
[c23] [c22]
16Scott Owens
[c23] [c22]
17Bruno Pagano
[c4]
18Didier Rémy
[j3] [c8] [c6] [c5]
19Susmit Sarkar
[j7] [c23] [c22] [c20] [c19] [c18]
20Alan Schmitt
[c10]
21Peter Sewell
[j7] [c23] [c22] [c20] [c19] [c18]
22Derek Williams
[c23] [c22] [c20]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 08:33:03 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page