Publications

[68] Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar. Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'21), pages 497--510, June 2021.
bib | DOI | extended.pdf | .pdf ]
[67] Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, and Jim A. Laredo. A principled approach to graphql query cost analysis. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020, pages 257--268, November 2020.
bib | DOI | .pdf ]
[66] Guillaume Baudart, Jean-Louis Colaço, Louis Mandel, Michael Mendler, and Marc Pouzet. Wip. a co-iterative synchronous interpreter. In Forum on specification & Design Languages (FDL'20), 2020.
bib | .pdf ]
[65] Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. Programming reactive probabilistic applications. In 2nd International Conference on Probabilistic Programming (ProbProg'18), Virtual, October 2020. poster.
bib | .pdf ]
[64] Guillaume Baudart, Javier Burroni, Martin Hirzel, Kiran Kate, Louis Mandel, and Avraham Shinnar. Compiling Stan to generative probabilistic languages. In 2nd International Conference on Probabilistic Programming (ProbProg'18), Virtual, October 2020. poster.
bib | .pdf ]
[63] Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. Reactive probabilistic programming. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'20), pages 898--912, June 2020.
bib | extended.pdf | http ]
[62] Guillaume Baudart, Louis Mandel, Marc Pouzet, Eric Atkinson, Benjamin Sherman, and Michael Carbin. Programmation d'applications réactives probabilistes. In Trente-et-unièmes Journées Francophones des Langages Applicatifs (JFLA'20), Gruissan, France, January 2020.
bib | .pdf ]
[61] Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, and Louis Mandel. An empirical study of graphql schemas. In Proceedings of the 17th International Conference on Service-Oriented Computing (ICSOC'19), pages 3--19, Toulouse, France, October 2019.
bib | .pdf ]
[60] Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, and Avraham Shinnar. Machine learning in python with no strings attached. In Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL'19), Phoenix, AZ, USA, 2019.
bib | http ]
[59] Guillaume Baudart, Louis Mandel, and Marc Pouzet. Programmation synchrone aux JFLA. In Trentièmes Journées Francophones des Langages Applicatifs (JFLA'19), Les Rousses, France, January 2019.
bib | .pdf ]
[58] Guillaume Baudart, Louis Mandel, Olivier Tardieu, and Mandana Vaziri. A reactive language for analyzing cloud logs. In Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), Boston, MA, USA, November 2018. SPLASH Workshop.
bib | .pdf ]
[57] Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jerome Simeon. Reactive chatbot programming. In Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), Boston, MA, USA, November 2018. SPLASH Workshop.
bib | .pdf ]
[56] Louis Mandel, Guillaume Baudart, Avraham Shinnar, Kiran Kate, and Martin Hirzel. Probabilistic reactive programming. In 1st International Conference on Probabilistic Programming (ProbProg'18), Boston, MA, USA, October 2018. poster.
bib | .pdf ]
[55] Guillaume Baudart, Avraham Shinnar, Martin Hirzel, and Louis Mandel. Watertight probabilistic abstractions in python. In 1st International Conference on Probabilistic Programming (ProbProg'18), Boston, MA, USA, October 2018. poster.
bib | .pdf ]
[54] Guillaume Baudart, Louis Mandel, Cédric Pasteur, and Marc Pouzet. Implement your own ReactiveML. In Tutorial at the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18), St. Louis, MO, USA, September 2018.
bib | more details ]
[53] Guillaume Baudart, Martin Hirzel, and Louis Mandel. Deep probabilistic programming languages: A qualitative study. In Workshop on Machine Learning and Programming Languages (MAPL'18), Philadelphia, PA, USA, June 2018. Poster, PLDI Workshop.
bib | extended.pdf | .pdf ]
[52] Guillaume Baudart, Louis Mandel, and Jérôme Siméon. Programmer des chatbots en OCaml avec Watson Conversation Service. In Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA'18), Banyuls-sur-Mer, France, January 2018.
bib | .pdf ]
[51] Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, and Martin Hirzel. Generating chat bots from web api specifications. In Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!'17), Onward! 2017, pages 44--57, Vancouver, Canada, 2017.
bib | .pdf ]
[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 | more details | .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, Chicago, IL USA, 2017. ACM.
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), Chicago, IL 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), Asilomar, California USA, 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-huitiè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-huitiè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.99.