Inference Plans for Hybrid Particle Filtering
- Ellie Y. Cheng
- Eric Atkinson
- et al.
- 2025
- POPL 2025
Publications
Date
Featured collections
Popular topics
28 results for Louis Mandel
Ansible Lightspeed: A Code Generation Service for IT Automation
- Priyam Sahoo
- Saurabh Pujar
- et al.
- 2024
- ASE 2024
Translating Canonical SQL to Imperative Code in Coq
- Véronique Benzaken
- Eveleyne Contejean
- et al.
- 2022
- SPLASH 2022
A Principled Approach to GraphQL Query Cost Analysis
- Alan Cha
- Erik Wittern
- et al.
- 2022
- ESEC/FSE 2022
Semi-symbolic inference for efficient streaming probabilistic programming
- Eric Atkinson
- Charles Yuan
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Inférence parallèle pour un langage réactif probabiliste
- Guillaume Baudart
- Louis Mandel
- et al.
- 2022
- JFLA 2022
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
- Eric Atkinson
- Guillaume Baudart
- et al.
- 2021
- SPLASH 2021
Learning GraphQL Query Cost
- Georgios Mavroudeas
- Guillaume Baudart
- et al.
- 2021
- ASE 2021
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
- Guillaume Baudart
- Javier Burroni
- et al.
- 2021
- PLDI 2021