Louis Mandel  Louis Mandel photo         

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2108

links


more information

More information:  Personal webpage


2020

Compiling Stan to Generative Probabilistic Languages
Guillaume Baudart, Javier Burroni, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2nd International Conference on Probabilistic Programming (ProbProg'18), 2020
poster

Programming Reactive Probabilistic Applications
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2nd International Conference on Probabilistic Programming (ProbProg'18), 2020
poster

WiP. A Co-Iterative Synchronous Interpreter
Guillaume Baudart, Jean-Louis Colaço, Louis Mandel, Michael Mendler, Marc Pouzet
Forum on specification & Design Languages (FDL'20), 2020

A Principled Approach to GraphQL Query Cost Analysis
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim A. Laredo
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 257–268, 2020

Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'20), pp. 898–912, 2020

Programmation d'Applications Reactives Probabilistes
Guillaume Baudart, Louis Mandel, Marc Pouzet, Eric Atkinson, Benjamin Sherman, Michael Carbin
Trente-et-uniemes Journees Francophones des Langages Applicatifs (JFLA'20), 2020


2019

Programmation Synchrone aux JFLA
Guillaume Baudart, Louis Mandel, Marc Pouzet
Trentiemes Journees Francophones des Langages Applicatifs (JFLA'19), 2019

Machine Learning in Python with No Strings Attached
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL'19), 2019

An Empirical Study of GraphQL Schemas
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
Proceedings of the 17th International Conference on Service-Oriented Computing (ICSOC'19), pp. 3--19, 2019


2018

Deep Probabilistic Programming Languages: A Qualitative Study
Guillaume Baudart, Martin Hirzel, Louis Mandel
Workshop on Machine Learning and Programming Languages (MAPL'18) , 2018
Poster, PLDI Workshop

Implement your own ReactiveML
Guillaume Baudart, Louis Mandel, C\'edric Pasteur, Marc Pouzet
Tutorial at the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18), 2018

Watertight Probabilistic Abstractions in Python
Guillaume Baudart, Avraham Shinnar, Martin Hirzel, Louis Mandel
1st International Conference on Probabilistic Programming (ProbProg'18), 2018
poster

Probabilistic Reactive Programming
Louis Mandel, Guillaume Baudart, Avraham Shinnar, Kiran Kate, Martin Hirzel
1st International Conference on Probabilistic Programming (ProbProg'18), 2018
poster

Reactive Chatbot Programming
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jerome Simeon
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), 2018
SPLASH Workshop

A Reactive Language for Analyzing Cloud Logs
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), 2018
SPLASH Workshop

Programmer des Chatbots en OCaml avec Watson Conversation Service
Guillaume Baudart, Louis Mandel, Jéréme Siméon
Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA'18), 2018


2017

Generating Chat Bots from Web API Specifications
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!'17), pp. 44--57, 2017

I Can Parse You: Grammars for Dialogs
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
Summit on Advances in Programming Languages (SNAPL'17), 2017

Prototyper un compilateur de requêtes avec Coq
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017

CloudLens, un langage de script pour l'analyse de données semi-structurées
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandan Vaziri
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers
Joshua S Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), pp. 1703--1706, 2017

Prototyping a Query Compiler Using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the ACM on Programming Languages (ICFP'17) 1(ICFP), 9:1--9:15, ACM, 2017


2016

META: Middleware for Events, Transactions, and Analytics
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, Wei Zhang
IBM Journal of Research and Development 60(2-3), 2016

Control Structure Overloading in X10
Louis Mandel, Josh Milthorpe, Olivier Tardieu
Proceedings of the 6th ACM SIGPLAN Workshop on X10 (X10'16), 2016
Workshop PLDI 2016


2015

ReactiveML, Ten Years Later
Louis Mandel, Cédric Pasteur, Marc Pouzet
Proceedings of 17th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'15), 2015

Time refinement in a functional synchronous language
Louis Mandel, Cédric Pasteur, Marc Pouzet
Science of Computer Programming111, Part 1, 190 - 211, 2015
Special Issue on Principles and Practice of Declarative Programming (SCP'15)


2014

Réseaux de Kahn à rafales et horloges entières
Adrien Guatto, Louis Mandel
Vingt-cinquièmes Journées Francophones des Langages Applicatifs, 2014

Exécution efficace de programmes ReactiveML
Louis Mandel, Cédric Pasteur
Vingt-cinquièmes Journées Francophones des Langages Applicatifs, 2014

Reactivity of Cooperative Systems -- extended version
Louis Mandel, Cédric Pasteur
Technical Report 8549, INRIA, 2014
Available at: \urlhttp://reactiveml.org/sas14

Reactivity of Cooperative Systems
Louis Mandel, Cédric Pasteur
Proceedings of 21st International Static Analysis Symposium (SAS'14), 2014


2013

Réactivité des systèmes coopératifs : le cas de ReactiveML
Louis Mandel, Cédric Pasteur
Vingt-quatrièmes Journées Francophones des Langages Applicatifs (JFLA 2013)

Programming Mixed Music in ReactiveML
Guillaume Baudart, Louis Mandel, Marc Pouzet
ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design (FARM 2013)
Workshop ICFP 2013

A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet
Thirteen International Conference on Embedded Software (EMSOFT 2013)


2012

Constrained Types--Future Directions
Saraswat, Vijay and Cunningham, David and Hadarean, Liana and Mandel, Louis and Shinnar, Avraham and Tardieu, Olivier
CP-18th International Conference on Principles and Practice of Constraint Programming-2012
Abstract

Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n
Louis Mandel, Florence Plateau
Eleventh International Conference on Mathematics of Program Construction (MPC 2012)

Constrained Types - Future Directions
Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, Olivier Tardieu
18th International Conference on Principles and Practice of Constraint Programming, 2012
Position Paper


2011

Typage des horloges périodiques en Lucy-n
Louis Mandel, Florence Plateau
Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 2011)

Proposal for a Dynamic Synchronous Language
Pejman Attar, Frédéric Boussinot, Louis Mandel, Jean-Ferdy Susini
Technical Report 590420, INRIA, 2011

Static Scheduling of Latency Insensitive Designs with Lucy-n
Louis Mandel, Florence Plateau, Marc Pouzet
Formal Methods in Computer Aided Design (FMCAD 2011)


2010

Cours de ReactiveML
Louis Mandel
Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010)

Lucy-n : une extension n-synchrone de Lustre
Louis Mandel, Florence Plateau, Marc Pouzet
Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010)

Clock Typing of n-Synchronous Programs
Louis Mandel, Florence Plateau, Marc Pouzet
Designing Correct Circuits (DCC 2010)

Lucy-n: a n-Synchronous Extension of Lustre
Louis Mandel, Florence Plateau, Marc Pouzet
Tenth International Conference on Mathematics of Program Construction (MPC 2010)


2009

Abstraction d'horloges dans les systèmes synchrones flot de données
Louis Mandel, Florence Plateau
Vingtièmes Journées Francophones des Langages Applicatifs (JFLA 2009), INRIA

Relaxing Synchronous Composition with Clock Abstraction
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
Hardware Design using Functional Languages (HFL 2009), pp. 35-52

The ReactiveML Toplevel (Tool Demonstration)
Louis Mandel, Florence Plateau, Marc Pouzet
ACM SIGPLAN Workshop on ML, 2009
Workshop ICFP 2009


2008

Programming in JoCaml (Tool Demonstration)
Louis Mandel, Luc Maranget
17th European Symposium on Programming (ESOP 2008), pp. 108--111

ReactiveML : un langage fonctionnel pour la programmation réactive
Louis Mandel, Marc Pouzet
Technique et Science Informatiques (TSI) 27(9--10/2008), 1097--1128

Abstraction of Clocks in Synchronous Data-flow Systems
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008)

Interactive Programming of Reactive Systems
Louis Mandel, Florence Plateau
Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2008), pp. 44--59, Elsevier Science Publishers


2007

Executable Contracts for Incremental Prototypes of Embedded Systems
Lionel Morel, Louis Mandel
Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007)

The JoCaml system
Louis Mandel, Luc Maranget
2007
Software and documentation available at \urlhttp://jocaml.inria.fr/

Programming in JoCaml -- extended version
Louis Mandel, Luc Maranget
Technical Report 6261, INRIA, 2007


2006

Simulation of Ad hoc Networks in ReactiveML
Farid Benbadis, Louis Mandel, Marc Pouzet, Ludovic Samper
Unpublished, 2006
En préparation

GLONEMO: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks
Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense 2006)

Simulation and verification of asynchronous systems by means of a synchronous model
Nicolas Halbwachs, Louis Mandel
Sixth International Conference on Application of Concurrency to System Design (ACSD 2006)

Report on modeling GALS in SCADE
DVT Cluster
Technical Report, ASSERT Project, 2006

Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive
Louis Mandel
Ph.D. Thesis, 2006

Prototype of AADL simulation in SCADE
DVT Cluster
Technical Report, ASSERT Project, 2006


2005

ReactiveML, un langage pour la programmation réactive en ML
Louis Mandel, Marc Pouzet
Journées Francophones des Langages Applicatifs (JFLA 2005), INRIA

Simulation of Mobile Ad hoc Network Protocols in ReactiveML
Louis Mandel, Farid Benbadis
Proceedings of Synchronous Languages, Applications, and Programming (SLAP 2005), Electronic Notes in Theoretical Computer Science

ReactiveML, a Reactive Extension to ML
Louis Mandel, Marc Pouzet
Proceedings of 7th ACM SIGPLAN International conference on Principles and Practice of Declarative Programming (PPDP 2005)