Louis Mandel - RankMe

65 papers A* 4A 2B 6C 3Misc 1Journal 29Unranked 19

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