Publications

Publications

[50] Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. Prototyping a query compiler using Coq (experience report). Proceedings of the ACM on Programming Languages (ICFP'17), 1(ICFP):9:1--9:15, August 2017.
bib | .pdf ]
[49] Joshua S Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. Q*cert: A platform for implementing and verifying query compilers. In Proceedings of the International Conference on Management of Data (SIGMOD'17), pages 1703--1706. ACM, 2017.
bib | .pdf ]
[48] Joshua Auerbach, Martin Hirzel, Louis Mandel, Avi Shinnar, and Jérôme Siméon. Handling environments in a verified query compiler. In Proceedings of the International Conference on Management of Data (SIGMOD'17), USA, 2017.
bib | .pdf ]
[47] Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, and Mandana Vaziri. I can parse you: Grammars for dialogs. In Summit on Advances in Programming Languages (SNAPL'17), 2017.
bib | .pdf ]
[46] Guillaume Baudart, Louis Mandel, Olivier Tardieu, and Mandan Vaziri. Cloudlens, un langage de script pour l'analyse de données semi-structurées. In Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), Gourette, France, January 2017.
bib | .pdf ]
[45] Joshua Auerbach, Martin Hirzel, Louis Mandel, Avi Shinnar, and Jérôme Siméon. Prototyper un compilateur de requêtes avec coq. In Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), Gourette, France, January 2017.
bib | .pdf ]
[44] Louis Mandel, Josh Milthorpe, and Olivier Tardieu. Control structure overloading in X10. In Proceedings of the 6th ACM SIGPLAN Workshop on X10 (X10'16), Santa Barbara, USA, 2016. Workshop PLDI 2016.
bib | .pdf ]
[43] Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, and Wei Zhang. META: middleware for events, transactions, and analytics. IBM Journal of Research and Development, 60(2-3), 2016.
bib | .pdf ]
[42] 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 (SCP'15).
bib | more details | .pdf ]
[41] 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 ]
[40] 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 ]
[39] 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 ]
[38] Louis Mandel and Cédric Pasteur. Exécution efficace de programmes ReactiveML. In Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014.
bib | .pdf ]
[37] Adrien Guatto and Louis Mandel. Réseaux de Kahn à rafales et horloges entières. In Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014.
bib | .pdf ]
[36] 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 2013), Montreal, Canada, September 2013.
bib | more details | .pdf ]
[35] Guillaume Baudart, Louis Mandel, and Marc Pouzet. Programming mixed music in ReactiveML. In ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design (FARM 2013), Boston, USA, September 2013. Workshop ICFP 2013.
bib | more details | .pdf ]
[34] 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 2013), Madrid, Spain, September 2013.
bib | more details | .pdf ]
[33] 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 2013), Aussois, France, February 2013.
bib | more details | .pdf ]
[32] Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, and Olivier Tardieu. Constrained types - future directions. In 18th International Conference on Principles and Practice of Constraint Programming, Quebec City, Canada, October 2012. Position Paper.
bib | .pdf ]
[31] Louis Mandel and Florence Plateau. Scheduling and buffer sizing of n-synchronous systems: Typing of ultimately periodic clocks in Lucy-n. In Eleventh International Conference on Mathematics of Program Construction (MPC 2012), Madrid, Spain, June 2012.
bib | more details | .pdf ]
[30] Louis Mandel, Florence Plateau, and Marc Pouzet. Static scheduling of latency insensitive designs with Lucy-n. In Formal Methods in Computer Aided Design (FMCAD 2011), Austin, TX, USA, October 2011.
bib | more details | .pdf ]
[29] Pejman Attar, Frédéric Boussinot, Louis Mandel, and Jean-Ferdy Susini. Proposal for a Dynamic Synchronous Language. Technical Report 590420, INRIA, May 2011.
bib | .pdf ]
[28] Louis Mandel and Florence Plateau. Typage des horloges périodiques en Lucy-n. In Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 2011), La Bresse, France, January 2011.
bib | more details | .pdf ]
[27] Louis Mandel and Florence Plateau. Interactive programming of reactive systems. Draft, November 2010.
bib | more details | .pdf ]
[26] Louis Mandel, Florence Plateau, and Marc Pouzet. Lucy-n: a n-synchronous extension of Lustre. In Tenth International Conference on Mathematics of Program Construction (MPC 2010), Québec, Canada, June 2010.
bib | more details | .pdf ]
[25] Louis Mandel, Florence Plateau, and Marc Pouzet. Clock typing of n-synchronous programs. In Designing Correct Circuits (DCC 2010), Paphos, Cyprus, March 2010.
bib | .pdf ]
[24] Louis Mandel, Florence Plateau, and Marc Pouzet. Lucy-n : une extension n-synchrone de Lustre. In Deuxièmes Journées nationales du GDR Génie de la Programmation et du Logiciel, Pau, France, March 2010. Article invité.
bib | .pdf ]
[23] Louis Mandel. Cours de ReactiveML. In Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010), Vieux-Port La Ciotat, France, January 2010.
bib | .pdf ]
[22] Louis Mandel, Florence Plateau, and Marc Pouzet. Lucy-n : une extension n-synchrone de Lustre. In Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010), Vieux-Port La Ciotat, France, January 2010.
bib | more details | .pdf ]
[21] Louis Mandel, Florence Plateau, and Marc Pouzet. The ReactiveML toplevel (tool demonstration). In ACM SIGPLAN Workshop on ML, Edinburgh, UK, August 2009. Workshop ICFP 2009.
bib | .pdf ]
[20] Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet. Relaxing synchronous composition with clock abstraction. In Hardware Design using Functional Languages (HFL 2009), pages 35--52, York, UK, March 2009.
bib | more details | .pdf ]
[19] Louis Mandel and Florence Plateau. Abstraction d'horloges dans les systèmes synchrones flot de données. In Vingtièmes Journées Francophones des Langages Applicatifs (JFLA 2009), Saint-Quentin sur Isère, France, January 2009. INRIA.
bib | more details | .pdf ]
[18] Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet. Abstraction of Clocks in Synchronous Data-flow Systems. In The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008), Bangalore, India, December 2008.
bib | more details | .pdf ]
[17] Louis Mandel and Florence Plateau. Interactive programming of reactive systems. In Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2008), Electronic Notes in Computer Science, pages 44--59, Budapest, Hungary, April 2008. Elsevier Science Publishers.
bib | more details | .pdf ]
[16] 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 ]
[15] Louis Mandel and Luc Maranget. Programming in JoCaml (tool demonstration). In 17th European Symposium on Programming (ESOP 2008), pages 108--111, Budapest, Hungary, April 2008.
bib | .pdf ]
[14] Louis Mandel and Luc Maranget. Programming in JoCaml -- extended version. Technical Report 6261, INRIA, 2007.
bib | .pdf ]
[13] Louis Mandel and Luc Maranget. The JoCaml system, 2007. Software and documentation available at http://jocaml.inria.fr/.
bib | .pdf ]
[12] 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 2007), March 2007.
bib | .pdf ]
[11] DVT Cluster. Prototype of AADL simulation in SCADE. ASSERT deliverable 4.3.2-2, ASSERT Project, November 2006.
bib ]
[10] 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 ]
[9] DVT Cluster. Report on modeling GALS in SCADE. ASSERT deliverable 4.3.2-1, ASSERT Project, February 2006.
bib ]
[8] Nicolas Halbwachs and Louis Mandel. Simulation and verification of asynchronous systems by means of a synchronous model. In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), Turku, Finland, June 2006.
bib | .pdf ]
[7] 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 2006), Nice, France, May 2006.
bib | .pdf ]
[6] Louis Mandel and Marc Pouzet. ReactiveML, a reactive extension to ML. In Proceedings of 7th ACM SIGPLAN International conference on Principles and Practice of Declarative Programming (PPDP 2005), Lisbon, Portugal, July 2005.
bib | extended.pdf | .pdf ]
[5] Louis Mandel and Farid Benbadis. Simulation of mobile ad hoc network protocols in ReactiveML. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP 2005), Edinburgh, Scotland, April 2005. Electronic Notes in Theoretical Computer Science.
bib | .pdf ]
[4] Louis Mandel and Marc Pouzet. ReactiveML, un langage pour la programmation réactive en ML. In Journées Francophones des Langages Applicatifs (JFLA 2005), Obernai, France, March 2005. INRIA.
bib | .ps ]
[3] Farid Benbadis, Louis Mandel, Marc Pouzet, and Ludovic Samper. Simulation of ad hoc networks in ReactiveML. En préparation, December 2006.
bib | .pdf ]
[2] Louis Mandel. Factorisation de polynômes sur les corps finis. Rapport de magistère, Université Paris 6, Septembre 2001.
bib | .ps.gz ]
[1] Louis Mandel. Aspects dynamiques dans les langages synchrones : la cas des SugarCubes. Rapport de D.E.A., Université Paris 6, Septembre 2002.
bib | .ps.gz ]

This file was generated by bibtex2html 1.98.