default search action
Louis Mandel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i16]Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Gebhardt, Louis Mandel, Luca Buratti:
Ansible Lightspeed: A Code Generation Service for IT Automation. CoRR abs/2402.17442 (2024) - [i15]Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin:
Inference Plans for Hybrid Particle Filtering. CoRR abs/2408.11283 (2024) - 2023
- [i14]Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin:
Verifying Performance Properties of Probabilistic Inference. CoRR abs/2307.07355 (2023) - [i13]Guillaume Baudart, Louis Mandel, Christine Tasson:
Density-Based Semantics for Reactive Probabilistic Programming. CoRR abs/2308.01676 (2023) - [i12]Razan Baltaji, Saurabh Pujar, Louis Mandel, Martin Hirzel, Luca Buratti, Lav R. Varshney:
Learning Transfers over Several Programming Languages. CoRR abs/2310.16937 (2023) - 2022
- [j8]Véronique Benzaken
, Evelyne Contejean
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022) - [j7]Eric Atkinson
Semi-symbolic inference for efficient streaming probabilistic programming. Proc. ACM Program. Lang. 6(OOPSLA2): 1668-1696 (2022) - [c32]Guillaume Baudart, Louis Mandel, Reyyan Tekin:
JAX based parallel inference for reactive probabilistic programming. LCTES 2022: 26-36 - [i11]Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui
Translating Canonical SQL to Imperative Code in Coq. CoRR abs/2203.08941 (2022) - [i10]Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin:
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming. CoRR abs/2209.07490 (2022) - 2021
- [j6]Eric Atkinson
Statically bounded-memory delayed sampling for probabilistic streams. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [c31]Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern:
Learning GraphQL Query Cost. ASE 2021: 1146-1150 - [c30]Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar:
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI 2021: 497-510 - [e1]Louis Mandel:
REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Chicago, IL, USA, 18 October 2021. ACM 2021, ISBN 978-1-4503-9108-5 [contents] - [i9]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 abs/2108.11139 (2021) - [i8]Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin:
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams. CoRR abs/2109.12473 (2021) - [i7]Guillaume Baudart, Louis Mandel:
Automatic Guide Generation for Stan via NumPyro. CoRR abs/2110.11790 (2021) - 2020
- [c29]Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive probabilistic programming. PLDI 2020: 898-912 - [c28]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: 257-268 - [i6]Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo:
A Principled Approach to GraphQL Query Cost Analysis. CoRR abs/2009.05632 (2020)
2010 – 2019
- 2019
- [c27]Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel:
An Empirical Study of GraphQL Schemas. ICSOC 2019: 3-19 - [c26]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Machine learning in Python with no strings attached. MAPL@PLDI 2019: 1-9 - [i5]Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel:
An Empirical Study of GraphQL Schemas. CoRR abs/1907.13012 (2019) - [i4]Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive Probabilistic Programming. CoRR abs/1908.07563 (2019) - 2018
- [c25]Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Reactive chatbot programming. REBLS@SPLASH 2018: 21-30 - [c24]Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri:
A reactive language for analyzing cloud logs. REBLS@SPLASH 2018: 61-70 - [i3]Guillaume Baudart, Martin Hirzel, Louis Mandel:
Deep Probabilistic Programming Languages: A Qualitative Study. CoRR abs/1804.06458 (2018) - [i2]Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar:
Extending Stan for Deep Probabilistic Programming. CoRR abs/1810.00873 (2018) - [i1]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Yaps: Python Frontend to Stan. CoRR abs/1812.04125 (2018) - 2017
- [j5]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): 9:1-9:15 (2017) - [c23]Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
Generating chat bots from web API specifications. Onward! 2017: 44-57 - [c22]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: 1555-1569 - [c21]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: 1703-1706 - [c20]Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri:
I Can Parse You: Grammars for Dialogs. SNAPL 2017: 6:1-6:15 - 2016
- [j4]Matthew Arnold, David Grove
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60(2-3) (2016) - [c19]Louis Mandel, Josh Milthorpe
Control structure overloading in X10. X10@PLDI 2016: 1-6 - 2015
- [j3]Louis Mandel, Cédric Pasteur, Marc Pouzet:
Time refinement in a functional synchronous language. Sci. Comput. Program. 111: 190-211 (2015) - [c18]Louis Mandel, Cédric Pasteur, Marc Pouzet:
ReactiveML, ten years later. PPDP 2015: 6-17 - 2014
- [c17]Louis Mandel, Cédric Pasteur:
Exécution efficace de programmes ReactiveML. JFLA 2014: 49-64 - [c16]Louis Mandel, Adrien Guatto:
Réseaux de Kahn à rafales et horloges entières. JFLA 2014: 93-108 - [c15]Louis Mandel, Cédric Pasteur:
Reactivity of Cooperative Systems - Application to ReactiveML. SAS 2014: 219-236 - 2013
- [c14]Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet:
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. EMSOFT 2013: 1:1-1:12 - [c13]Guillaume Baudart, Louis Mandel, Marc Pouzet:
Programming mixed music in ReactiveML. FARM@ICFP 2013: 11-22 - [c12]Louis Mandel, Cédric Pasteur, Marc Pouzet:
Time refinement in a functional synchronous language. PPDP 2013: 169-180 - 2012
- [c11]Louis Mandel, Florence Plateau:
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. MPC 2012: 74-101 - 2011
- [c10]Louis Mandel, Florence Plateau, Marc Pouzet:
Static scheduling of latency insensitive designs with Lucy-n. FMCAD 2011: 171-175 - 2010
- [c9]Louis Mandel, Florence Plateau, Marc Pouzet:
Lucy-n: a n-Synchronous Extension of Lustre. MPC 2010: 288-309
2000 – 2009
- 2009
- [j2]Louis Mandel, Florence Plateau:
Abstraction d'horloges dans les systemes synchrones flot de donnees. Stud. Inform. Univ. 7(2): 166-194 (2009) - [c8]Louis Mandel, Florence Plateau:
Abstraction d'horloges dans les systèmes synchrones flot de données. JFLA 2009: 411-444 - 2008
- [j1]Louis Mandel, Marc Pouzet:
ReactiveML, un langage fonctionnel pour la programmation réactive. Tech. Sci. Informatiques 27(9-10): 1097-1128 (2008) - [c7]Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS 2008: 237-254 - [c6]Louis Mandel, Luc Maranget:
Programming in JoCaml (Tool Demonstration). ESOP 2008: 108-111 - [c5]Louis Mandel, Florence Plateau:
Interactive Programming of Reactive Systems. SLAP@ETAPS 2008: 21-36 - 2007
- [c4]Lionel Morel, Louis Mandel:
Executable Contracts for Incremental Prototypes of Embedded Systems. FESCA@ETAPS 2007: 121-135 - 2006
- [c3]Nicolas Halbwachs, Louis Mandel:
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. ACSD 2006: 3-14 - [c2]Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel:
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3 - 2005
- [c1]Louis Mandel, Marc Pouzet:
ReactiveML: a reactive extension to ML. PPDP 2005: 82-93
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 02:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: