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


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)