Luc Maranget’s Publications

In Journals

[1] “Fences in Weak Memory Models (extended version)” Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell, Formal Methods in System Design 40(2): 170-205 (2012) Extended version of [12]
[2] “Algebraic Pattern Matching in Join Calculus”, with Ma Qin, Logical Methods in Computer Science, 4(1), 2008. Extended version of [15].
[3] “Warnings for Pattern Matching”, Journal of Functional Programming, 17(3), 2007, (details).
[4] “Functional Satisfaction”, Journal of Functional Programming, 14(6), 2004, (details).
[5] “Inheritance in the Join-Calculus”, with C. Fournet, C. Laneve, D. Rémy, Journal of Logic and Algebraic Programming, 57, 2003, (details).
[6] “Functional Runtimes within the Lambda-Sigma-Calculus”, with Th. Hardin, B. Pagano, Journal of Functional Programming, 8(2), 1998, (details).

International Conferences

[7] “An Axiomatic Memory Model for POWER Multiprocessors” Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams Computer Aided Verification, 24rd International Conference (CAV’12), July 2012.
[8] “Synchronising C/C++ and POWER” Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget. 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’2012), June 2012.
[9] “Stability in Weak Memory Models” J. Alglave and L. Maranget, Computer Aided Verification, 23rd International Conference (CAV’11), July 2011.
[10] “Understanding POWER Multiprocessors” S. Sarkar, P. Sewell, J. Alglave, L. Maranget and D. Williams, 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’2011), June 2011.
[11] “Litmus: Running Tests Against Hardware” with J. Alglave, S. Sarkar and P. Sewell, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’2011), March 2011.
[12] “Fences in Weak Memory Models” with J. Alglave, S. Sarkar and P. Sewell, Computer Aided Verification, 22nd International Conference (CAV’10), July 2010.
[13] “Programming in JoCaml (Tool demonstration)”, with L. Mandel, 17th European Symposium on Programming (ESOP’08), March 2008.See also [30].
[14] “Information Hiding in the Join Calculus”, with Ma Qin, 11th Annual Asian Computing Science Conference (ASIAN’06), LNCS, Springer, Tokyo, December 2006. See also [33].
[15] “Compiling Pattern Matching in Join-Patterns”, with Ma Qin, CONCUR’04, (details).
[16] “Expressive Synchronization Types for Inheritance in the Join Calculus”, with Ma Qin, APLAS’03, (details).
[17] “Optimizing Pattern Matching”, with F. Le Fessant, ICFP’01, (details).
[18] “Inheritance in the Join-Calculus”, with C. Fournet, C. Laneve, D. Rémy, FSTTCS’00. See also [5], (details).
[19] “Implicit Typing à la ML for the Join-Calculus”, with C. Fournet, C .Laneve, D. Remy, CONCUR’97, (details).
[20] “A Calculus of mobile Agents”, with C. Fournet, G. Gonthier, J.-J. Lévy, CONCUR’96, (details).
[21] “Functional Back-Ends within the Lambda-Sigma-Calculus”, with T. Hardin, B. Pagano, ICFP’96. See also [6], (details).
[22] “Compiling Lazy Pattern Matching”, LFP’92, (details).
[23] “GAML: A Parallel Implementation of Lazy ML”, FPCA’91, (details).
[24] “Optimal Derivations in Weak Lambda-Calculi and in Orthogonal Term Rewriting Systems”, POPL’91, (details).

National conference, international workshops (refereed)

[25] “Compiling Pattern Matching to Good Decisions Trees”, Workshop on the Language ML, 2008. (details).
[26] “Les avertissements du filtrage”, JFLA’03, (In French). See also [3], (details).
[27] “H^EV^EA, un traducteur rapide de L^AT_EX vers HTML en Caml”, JFLA’99 (In French), (details).
[28] “Compiling Join-Patterns”, with F. Le Fessant, HLCL’98, proceedings in Electronic Notes in Computer Science, 16-1, 1999, Elesevier, (details).

Others (selection)

[29] “Sharing in the Weak Lambda-Calculus Revisited” with T. Blanc and J.-J. Lévy, In Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, December 2007.
[30] “Programming in JoCaml — Extended Version”, with L. Mandel, Inria Research report 6261, 2007.
[31] “INF421 — Introduction à la programmation”, with Ph. Baptiste, École polytechnique, 2005–2009, (in French).
[32] “Sharing in the Weak Lambda-Calculus”, with T. Blanc, J-J Lévy, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, LNCS 3838, 2005.
[33] “Information Hiding, Inheritance and Concurrency”, with Ma Qin, rapport de recherche Inria 5631, 2005. short version, See [14].
[34] “Cours de compilation”, École polytechnique, 2004–2006, (in French).
[35] “On using H^EV^EA, a fast L^AT_EX to HTML translator”, Eutupon, 2004, Democritus Universitry of Thrace.
[36] “JoCaml: A Language for Concurrent Distributed and Mobile Programming”, with C. Fournet, F. Le Fessant, A. Schmitt. Advanced Functional Programming International School, LNCS 2638, 2002, (details).
[37] “Explicit Substitutions and Programming Languages”, with J.-J. Lévy, invited paper FSTTCS’99, (details).
[38] “Two Techniques for Compiling Lazy Pattern Matching”, rapport de recherche Inria 2385, 1994, (details).
[39] “La stratégie paresseuse”, Thèse de l’Université PARIS VII, 1992, (details).

Software

[40] “Do It Yourself — Weak Memory Models, Version 4.00”, Software and documentation 2011, http://diy.inria.fr/
[41] “JoCaml, Version 3.12.0”, Software and documentation 2010, http://jocaml.inria.fr/
[42] “H^EV^EA, Version 1.10”, Software and documentation 2007, http://hevea.inria.fr/
[43] “The Join-Calculus language release 1.05, Documentation and user’s manual”, with C. Fournet, 1997. See [36] and (obsolete) download page.

Ce document a été traduit de L^AT_EX par H^EV^EA