Full list of publications


rml

[18] Louis Mandel, Cédric Pasteur, and Marc Pouzet. ReactiveML, ten years later. In Proceedings of 17th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Siena, Italy, July 2015.
bib | .pdf ]
[17] Louis Mandel, Cédric Pasteur, and Marc Pouzet. Time refinement in a functional synchronous language. Science of Computer Programming, 111, Part 1:190 -- 211, 2015. Special Issue on Principles and Practice of Declarative Programming (PPDP 2013).
bib | more details | .pdf ]
[16] Louis Mandel and Cédric Pasteur. Reactivity of cooperative systems. In Proceedings of 21st International Static Analysis Symposium (SAS'14), Munich, Germany, September 2014.
bib | more details | .pdf ]
[15] Louis Mandel and Cédric Pasteur. Reactivity of cooperative systems -- extended version. Research Report 8549, INRIA, 2014. Available at: http://reactiveml.org/sas14.
bib | .pdf ]
[14] Louis Mandel and Cédric Pasteur. Exécution efficace de programmes ReactiveML. In Vingt-cinquièmes Journées Francophones des Langages Applicatifs (JFLA'14), Fréjus, France, January 2014.
bib | .pdf ]
[13] Cédric Pasteur. Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel. PhD thesis, Université Paris 6, 2013.
bib | more details | .pdf ]
[12] Guillaume Baudart, Florent Jacquemard, Louis Mandel, and Marc Pouzet. A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. In Thirteen International Conference on Embedded Software (EMSOFT'13), Montreal, Canada, September 2013.
bib | more details | .pdf ]
[11] Guillaume Baudart, Louis Mandel, and Marc Pouzet. Programming mixed music in ReactiveML. In ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design (FARM'13), Boston, USA, September 2013. Workshop ICFP 2013.
bib | more details | .pdf ]
[10] Louis Mandel, Cédric Pasteur, and Marc Pouzet. Time refinement in a functional synchronous language. In Proceedings of 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'13), Madrid, Spain, September 2013.
bib | more details | .pdf ]
[9] Louis Mandel and Cédric Pasteur. Réactivité des systèmes coopératifs : le cas de ReactiveML. In Vingt-quatrièmes Journées Francophones des Langages Applicatifs (JFLA'13), Aussois, France, February 2013.
bib | more details | .pdf ]
[8] Louis Mandel and Florence Plateau. Interactive programming of reactive systems. In Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P'08), Budapest, Hungary, April 2008.
bib | .pdf ]
[7] Louis Mandel and Marc Pouzet. ReactiveML : un langage fonctionnel pour la programmation réactive. Technique et Science Informatiques (TSI), 27(9--10/2008):1097--1128, 2008.
bib | .pdf ]
[6] Lionel Morel and Louis Mandel. Executable contracts for incremental prototypes of embedded systems. In Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'07), March 2007.
bib | .pdf ]
[5] Louis Mandel. Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive. PhD thesis, Université Paris 6, 2006.
bib | .pdf ]
[4] Ludovic Samper, Florence Maraninchi, Laurent Mounier, and Louis Mandel. GLONEMO: Global and accurate formal models for the analysis of ad hoc sensor networks. In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006.
bib | .pdf ]
[3] Louis Mandel and Marc Pouzet. ReactiveML, a reactive extension to ML. In Proceedings of 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'05), Lisbon, Portugal, July 2005.
bib | extended.pdf | .pdf ]
[2] Louis Mandel and Farid Benbadis. Simulation of mobile ad hoc network protocols in ReactiveML. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05), Edinburgh, Scotland, April 2005. Electronic Notes in Theoretical Computer Science.
bib | .pdf ]
[1] Louis Mandel and Marc Pouzet. ReactiveML, un langage pour la programmation réactive en ML. In Journées Francophones des Langages Applicatifs (JFLA'05), Obernai, France, March 2005. INRIA.
bib | .ps ]

Selected publications