Luc Maranget’s Publications

In Journals

[1] “Algebraic Pattern Matching in Join Calculus”, with Ma Qin, Logical Methods in Computer Science, 4(1), 2008. Extended version of [12].
[2] “Warnings for Pattern Matching”, Journal of Functional Programming, 17(3), 2007, (details).
[3] “Functional Satisfaction”, Journal of Functional Programming, 14(6), 2004, (details).
[4] “Inheritance in the Join-Calculus”, with C. Fournet, C. Laneve, D. Rémy, Journal of Logic and Algebraic Programming, 57, 2003, (details).
[5] “Functional Runtimes within the Lambda-Sigma-Calculus”, with Th. Hardin, B. Pagano, Journal of Functional Programming, 8(2), 1998, (details).

International Conferences

[6] “Stability in Weak Memory Models” J. Alglave and L. Maranget, Computer Aided Verification, 23rd International Conference (CAV’11), July 2011.
[7] “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.
[8] “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.
[9] “Fences in Weak Memory Models” with J. Alglave, S. Sarkar and P. Sewell, Computer Aided Verification, 22nd International Conference (CAV’10), July 2010.
[10] “Programming in JoCaml (Tool demonstration)”, with L. Mandel, 17th European Symposium on Programming (ESOP’08), March 2008.See also [27].
[11] “Information Hiding in the Join Calculus”, with Ma Qin, 11th Annual Asian Computing Science Conference (ASIAN’06), LNCS, Springer, Tokyo, December 2006. See also [30].
[12] “Compiling Pattern Matching in Join-Patterns”, with Ma Qin, CONCUR’04, (details).
[13] “Expressive Synchronization Types for Inheritance in the Join Calculus”, with Ma Qin, APLAS’03, (details).
[14] “Optimizing Pattern Matching”, with F. Le Fessant, ICFP’01, (details).
[15] “Inheritance in the Join-Calculus”, with C. Fournet, C. Laneve, D. Rémy, FSTTCS’00. See also [4], (details).
[16] “Implicit Typing à la ML for the Join-Calculus”, with C. Fournet, C .Laneve, D. Remy, CONCUR’97, (details).
[17] “A Calculus of mobile Agents”, with C. Fournet, G. Gonthier, J.-J. Lévy, CONCUR’96, (details).
[18] “Functional Back-Ends within the Lambda-Sigma-Calculus”, with T. Hardin, B. Pagano, ICFP’96. See also [5], (details).
[19] “Compiling Lazy Pattern Matching”, LFP’92, (details).
[20] “GAML: A Parallel Implementation of Lazy ML”, FPCA’91, (details).
[21] “Optimal Derivations in Weak Lambda-Calculi and in Orthogonal Term Rewriting Systems”, POPL’91, (details).

National conference, international workshops (refereed)

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

Others (selection)

[26] “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.
[27] “Programming in JoCaml — Extended Version”, with L. Mandel, Inria Research report 6261, 2007.
[28] “INF421 — Introduction à la programmation”, with Ph. Baptiste, École polytechnique, 2005–2009, (in French).
[29] “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.
[30] “Information Hiding, Inheritance and Concurrency”, with Ma Qin, rapport de recherche Inria 5631, 2005. short version, See [11].
[31] “Cours de compilation”, École polytechnique, 2004–2006, (in French).
[32] “On using H^EV^EA, a fast L^AT_EX to HTML translator”, Eutupon, 2004, Democritus Universitry of Thrace.
[33] “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).
[34] “Explicit Substitutions and Programming Languages”, with J.-J. Lévy, invited paper FSTTCS’99, (details).
[35] “Two Techniques for Compiling Lazy Pattern Matching”, rapport de recherche Inria 2385, 1994, (details).
[36] “La stratégie paresseuse”, Thèse de l’Université PARIS VII, 1992, (details).

Software

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

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