ENSTA ParisTech U2IS

Unité d'Informatique et d'Ingénierie des Systèmes

English Français

Michel Mauny

Professeur
Responsable du groupe (nomination, accès restreint)

Contact

Address:ENSTA ParisTech - U2IS
828, Boulevard des Maréchaux
91762 Palaiseau Cedex
France
Michel Mauny
Office:R222
Email:
Tel.:+33 1 8187 2032

Offre d'emploi à pourvoir : post-doctorant sur le projet Secure-OCaml

Activités d'enseignement

Doctorants (en cours)

Autres



Publications

2013
C. Bozman, M. Mauny, F. Le Fessant, T. Gazagnaire, "Profiling the Memory Usage of OCaml Applications without Changing their Behavior", 2013. [bibtex]
M. Mauny, B. Vaugon, "OCamlCC - Traduire OCaml en C en passant par le bytecode", in JFLA - Journées francophones des langages applicatifs, D. Pous, C. Tasson, Eds., 2013. [bibtex] [pdf]
M. Mauny, Langages de scripts, Techniques de l'ingénieur, 2013, chap. Langages de programmation. [bibtex] [pdf]
2012
M. Mauny, B. Vaugon, "OCamlCC -- Raising Low-Level Bytecode to High-Level C", 2012 ([slides], [video]). [bibtex]
C. Bozman, T. Gazagnaire, F. Le Fessant, M. Mauny, "Study of OCaml Programs' Memory Behavior", 2012. [bibtex]
G. Henry, M. Mauny, E. Chailloux, P. Manoury, "Typing Unmarshalling Without Marshalling Types", in ICFP, 2012, pp. 287-298. [bibtex]
2007
G. Henry, M. Mauny and E. Chailloux, "Typer la désérialisation sans sérialiser les types", Technique et Science Informatiques, vol. 26 9, 2007, pp. 1067-1090. [bibtex]
2006
G. Henry, M. Mauny and E. Chailloux, "Typer la désérialisation sans sérialiser les types", in Journées Francophones des Langages Applicatifs, 2006. [bibtex] [pdf]
E. Chailloux, M. Mauny, Encyclopédie des systèmes d'information, Éditions Vuibert, 2006, chap. Programmation fonctionnelle. [bibtex]
2000
Y. Xiao, Z. Ariola and M. Mauny, "From Syntactic Theories to Interpreters: A Specification Language and Its Compilation", in First International Workshop on Rule-Based Programming (RULE 2000), N. Derschowitz, C. Kirchner, Eds.. [bibtex] [pdf]
1998
M. Mauny, "L'installation de Linux sur un portable Dell Latitude CP", CNRS, in Le Micro-Bulletin du CNRS, 1998. [bibtex]
G. Cousineau, M. Mauny, The Functional Approach to Programming, Cambridge University Press, 1998. [bibtex] [pdf]
1997
E. Sayag, M. Mauny, "Structural properties of intersection types", in Proceedings of the 8th International Conference on Logic and Computer Science -- Theoretical Foundations of Computing (LIRA), 1997, pp. 167-175. [bibtex] [pdf]
M. Mauny, C. Rinderknecht, "Position paper about the ASN.1 Formal Model", 1997. [bibtex]
1996
D. d. Rauglaudre, M. Mauny, "Chamau: an ML Dialect with Quotations, Grammars and Exensible Syntax", in Workshop on Compiler Techniques for Application Domain Languages and Extensible Language Models, 1996. [bibtex] [pdf]
E. Sayag, M. Mauny, "A presentation of the intersection type discipline through principal typings of normal forms", INRIA, Rep. RR-2998, 1996. [bibtex] [pdf]
E. Sayag, M. Mauny, "Characterization of principal types of normal forms in an intersection type system", in Proceedings of Foundations of Software Technology and Theoretical Computer Science, S. Verlag, Ed., 1996, pp. 335-346. [bibtex] [pdf]
1995
E. Sayag, M. Mauny, "Caractérisation des types principaux des formes normales dans le système des types avec intersections", 1995. [bibtex]
M. Mauny, Functional programming using Caml Light (version 0.7), INRIA, 1995. [bibtex] [pdf]
G. Cousineau, M. Mauny, Approche fonctionnelle de la programmation, Ediscience International, 1995. [bibtex] [pdf]
1994
M. Mauny, D. d. Rauglaudre, "A complete and realistic implementation of quotations for ML", in Proceedings of the Workshop on ML and its applications, 1994. [bibtex] [pdf]
1993
X. Leroy, M. Mauny, "Dynamics in ML", Journal of Functional Programming, vol. 3, no. 4, oct 1993, pp. 431-463. [bibtex] [pdf]
M. Mauny, D. d. Rauglaudre, "Analyseurs lexico-syntaxiques en ML", in Jounées Francophones des Langages Applicatifs, 1993. [bibtex]
M. Mauny, F. Pottier, "An implementation of Caml Light with existential types", INRIA, Rep. 2183, 1993. [bibtex] [pdf]
1992
M. Mauny, D. d. Rauglaudre, "Parsers in ML", in Proceedings of the ACM International Conference on Lisp and Functional Programming, 1992. [bibtex] [pdf]
M. Mauny, "Integrating Lazy Evaluation in Strict ML", in Actes du Premier Colloque Africain sur la Recherche en Informatique, 1992. [bibtex]
1991
M. Mauny, "Integrating Lazy Evaluation in Strict ML", INRIA, Rep. 137, 1991. [bibtex] [pdf]
M. Mauny, "Functional Programming using CAML", INRIA, Rep. 129, 1991. [bibtex]
X. Leroy, M. Mauny, "Dynamics in ML", INRIA, Rep. 1491, 1991. [bibtex]
X. Leroy, M. Mauny, "Dynamics in ML", in Functional Programming Languages and Computer Architecture, J. Hughes, Ed., Springer-Verlag, 1991, pp. 406-426. [bibtex]
1990
P. Weis, M. Aponte, A. Laville, M. Mauny, A. Suárez, "The CAML Reference Manual", INRIA, Rep. 121, 1990. [bibtex]
1989
M. Mauny, "Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages", in Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, 1989. [bibtex] [pdf]
1987
G. Cousineau, P. Curien and M. Mauny, "The Categorical Abstract Machine", Science of Computer Programming, vol. 8, 1987, pp. 173-202. [bibtex]
1986
M. Mauny, A. Suárez, "Implémentation des Langages Fonctionnels dans la Machine Abstraite Catégorique", in Actes des Journées AFCET, 1986. [bibtex]
M. Mauny, A. Suárez, "Implementing Functional Languages in the Categorical Abstract Machine", in Proceedings of the ACM International Conference on Lisp and Functional Programming, 1986, pp. 266-278. [bibtex]
1985
M. Mauny, "Compilation des Langages Fonctionnels dans les Combinateurs Catégoriques -- Application au langage ML", Ph.D. dissertation, Université Paris 7, 1985. [bibtex]
G. Cousineau, P. Curien, M. Mauny, A. Suárez, "Combinateurs Catégoriques et Implémentation des Langages Fonctionnels", in Actes de la Treizième Ecole de Printemps du LITP, Springer Verlag, 1985, pp. 85-103. [bibtex]
G. Cousineau, P. Curien and M. Mauny, "The Categorical Abstract Machine", in Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, Springer Verlag, 1985, pp. 50-64. [bibtex]