Louis Mandel

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 36

Top Topics

Duplicate Elimination

Probabilistic Inference

Nested Relational

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Gebhardt, Louis Mandel, Luca Buratti
Ansible Lightspeed: A Code Generation Service for IT Automation. CoRR (2024)
Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin
Verifying Performance Properties of Probabilistic Inference. CoRR (2023)
Razan Baltaji, Saurabh Pujar, Louis Mandel, Martin Hirzel, Luca Buratti, Lav R. Varshney
Learning Transfers over Several Programming Languages. CoRR (2023)
Guillaume Baudart, Louis Mandel, Christine Tasson
Density-Based Semantics for Reactive Probabilistic Programming. CoRR (2023)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Guillaume Baudart, Louis Mandel, Reyyan Tekin
JAX based parallel inference for reactive probabilistic programming. LCTES (2022)
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming. CoRR (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
Semi-symbolic inference for efficient streaming probabilistic programming. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Guillaume Baudart, Louis Mandel
Automatic Guide Generation for Stan via NumPyro. CoRR (2021)
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern
Learning GraphQL Query Costs (Extended Version). CoRR (2021)
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern
Learning GraphQL Query Cost. ASE (2021)
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI (2021)
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams. CoRR (2021)
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Statically bounded-memory delayed sampling for probabilistic streams. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo
A Principled Approach to GraphQL Query Cost Analysis. CoRR (2020)
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Reactive probabilistic programming. PLDI (2020)
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo
A principled approach to GraphQL query cost analysis. ESEC/SIGSOFT FSE (2020)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Machine learning in Python with no strings attached. MAPL@PLDI (2019)
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
An Empirical Study of GraphQL Schemas. CoRR (2019)
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
An Empirical Study of GraphQL Schemas. ICSOC (2019)
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Reactive Probabilistic Programming. CoRR (2019)
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri
A reactive language for analyzing cloud logs. REBLS@SPLASH (2018)
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Reactive chatbot programming. REBLS@SPLASH (2018)
Guillaume Baudart, Martin Hirzel, Louis Mandel
Deep Probabilistic Programming Languages: A Qualitative Study. CoRR (2018)
Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar
Extending Stan for Deep Probabilistic Programming. CoRR (2018)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Yaps: Python Frontend to Stan. CoRR (2018)
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
I Can Parse You: Grammars for Dialogs. SNAPL (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Generating chat bots from web API specifications. Onward! (2017)
Louis Mandel, Josh Milthorpe, Olivier Tardieu
Control structure overloading in X10. X10@PLDI (2016)
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
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60 (2-3) (2016)
Louis Mandel, Cédric Pasteur, Marc Pouzet
ReactiveML, ten years later. PPDP (2015)
Louis Mandel, Cédric Pasteur, Marc Pouzet
Time refinement in a functional synchronous language. Sci. Comput. Program. 111 (2015)
Louis Mandel, Cédric Pasteur
Exécution efficace de programmes ReactiveML. JFLA (2014)
Louis Mandel, Adrien Guatto
Réseaux de Kahn à rafales et horloges entières. JFLA (2014)
Louis Mandel, Cédric Pasteur
Reactivity of Cooperative Systems - Application to ReactiveML. SAS (2014)
Guillaume Baudart, Louis Mandel, Marc Pouzet
Programming mixed music in ReactiveML. FARM@ICFP (2013)
Louis Mandel, Cédric Pasteur, Marc Pouzet
Time refinement in a functional synchronous language. PPDP (2013)
Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. EMSOFT (2013)
Louis Mandel, Florence Plateau
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. MPC (2012)
Louis Mandel, Florence Plateau, Marc Pouzet
Static scheduling of latency insensitive designs with Lucy-n. FMCAD (2011)
Louis Mandel, Florence Plateau, Marc Pouzet
Lucy-n: a n-Synchronous Extension of Lustre. MPC (2010)
Louis Mandel, Florence Plateau
Interactive Programming of Reactive Systems. Electron. Notes Theor. Comput. Sci. 238 (1) (2009)
Lionel Morel, Louis Mandel
Executable Contracts for Incremental Prototypes of Embedded Systems. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Louis Mandel, Florence Plateau
Abstraction d'horloges dans les systemes synchrones flot de donnees. Stud. Inform. Univ. 7 (2) (2009)
Louis Mandel, Florence Plateau
Abstraction d'horloges dans les systèmes synchrones flot de données. JFLA (2009)
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS (2008)
Louis Mandel, Luc Maranget
Programming in JoCaml (Tool Demonstration). ESOP (2008)
Louis Mandel, Marc Pouzet
ReactiveML, un langage fonctionnel pour la programmation réactive. Tech. Sci. Informatiques 27 (9-10) (2008)
Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense (2006)
Nicolas Halbwachs, Louis Mandel
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD (2006)
Louis Mandel, Marc Pouzet
ReactiveML: a reactive extension to ML. PPDP (2005)