Louis Mandel

According to our database, Louis Mandel authored at least 47 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Ansible Lightspeed: A Code Generation Service for IT Automation.

Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Gebhardt, Louis Mandel, Luca Buratti

CoRR, 2024

2023

Learning Transfers over Several Programming Languages.

Razan Baltaji, Saurabh Pujar, Louis Mandel, Martin Hirzel, Luca Buratti, Lav R. Varshney

CoRR, 2023

Density-Based Semantics for Reactive Probabilistic Programming.

Guillaume Baudart, Louis Mandel, Christine Tasson

CoRR, 2023

Verifying Performance Properties of Probabilistic Inference.

Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin

CoRR, 2023

2022

Translating canonical SQL to imperative code in Coq.

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2022

Semi-symbolic inference for efficient streaming probabilistic programming.

Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin

Proc. ACM Program. Lang., 2022

JAX based parallel inference for reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Reyyan Tekin

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

2021

Statically bounded-memory delayed sampling for probabilistic streams.

Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin

Proc. ACM Program. Lang., 2021

Automatic Guide Generation for Stan via NumPyro.

Guillaume Baudart, Louis Mandel

CoRR, 2021

Learning GraphQL Query Costs (Extended Version).

Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern

CoRR, 2021

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.

Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Learning GraphQL Query Cost.

Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

A principled approach to GraphQL query cost analysis.

Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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, 2019

An Empirical Study of GraphQL Schemas.

Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

2018

Yaps: Python Frontend to Stan.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

CoRR, 2018

Extending Stan for Deep Probabilistic Programming.

Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar

CoRR, 2018

Deep Probabilistic Programming Languages: A Qualitative Study.

Guillaume Baudart, Martin Hirzel, Louis Mandel

CoRR, 2018

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, 2018

Reactive chatbot programming.

Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

2017

Prototyping a query compiler using Coq (experience report).

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2017

I Can Parse You: Grammars for Dialogs.

Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri

Proceedings of the 2nd Summit on Advances in Programming Languages, 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 2017 ACM International Conference on Management of Data, 2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Generating chat bots from web API specifications.

Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 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 J. Res. Dev., 2016

Control structure overloading in X10.

Louis Mandel, Josh Milthorpe, Olivier Tardieu

Proceedings of the 6th ACM SIGPLAN Workshop on X10, 2016

2015

Time refinement in a functional synchronous language.

Louis Mandel, Cédric Pasteur, Marc Pouzet

Sci. Comput. Program., 2015

ReactiveML, ten years later.

Louis Mandel, Cédric Pasteur, Marc Pouzet

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Reactivity of Cooperative Systems - Application to ReactiveML.

Louis Mandel, Cédric Pasteur

Proceedings of the Static Analysis - 21st International Symposium, 2014

Exécution efficace de programmes ReactiveML.

Louis Mandel, Cédric Pasteur

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

Réseaux de Kahn à rafales et horloges entières.

Louis Mandel, Adrien Guatto

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Programming mixed music in ReactiveML.

Guillaume Baudart, Louis Mandel, Marc Pouzet

Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013

A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music.

Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet

Proceedings of the International Conference on Embedded Software, 2013

2012

Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n.

Louis Mandel, Florence Plateau

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

2011

Static scheduling of latency insensitive designs with Lucy-n.

Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Lucy-n: a n-Synchronous Extension of Lustre.

Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Abstraction d'horloges dans les systemes synchrones flot de donnees.

Louis Mandel, Florence Plateau

Stud. Inform. Univ., 2009

2008

ReactiveML, un langage fonctionnel pour la programmation réactive.

Louis Mandel, Marc Pouzet

Tech. Sci. Informatiques, 2008

Interactive Programming of Reactive Systems.

Louis Mandel, Florence Plateau

Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008

Programming in JoCaml (Tool Demonstration).

Louis Mandel, Luc Maranget

Proceedings of the Programming Languages and Systems, 2008

Abstraction of Clocks in Synchronous Data-Flow Systems.

Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Executable Contracts for Incremental Prototypes of Embedded Systems.

Lionel Morel, Louis Mandel

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

2006

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 in Integrated Internet Ad Hoc and Sensor Networks, 2006

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.

Nicolas Halbwachs, Louis Mandel

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

ReactiveML: a reactive extension to ML.

Louis Mandel, Marc Pouzet

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005