Translating Canonical SQL to Imperative Code in Coq
- Véronique Benzaken
- Eveleyne Contejean
- et al.
- 2022
- SPLASH 2022
Bio
I am a Research Staff Member at the Watson Research Center. My main research topic is on the design and implementation of programming languages. I am currently working on probabilistic programming.
Since I joined IBM, I have worked on many different projects which includes this following open source projects:
- ProbZelus: a reactive probabilistic programming language
- Yaps: programming Stan probabilistic models using python syntax
- DeepPPL: an extension of Stan with variational inference and neural networks that compiles to Pyro
- Q*cert: a query compiler written the Coq proof assistant
- X10: a language for high-performance, high-productivity computing
- CloudLens: a scripting language to analyze semi-structured textual data
- wcs-ocaml: a library use the Watson Conversation Service from OCaml
Before joining IBM, I have in particular developed the following languages:
- ReactiveML: a reactive extension of OCaml
- Lucy-n: a n-synchronous extension of Lustre
Publications
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
Learning GraphQL Query Cost
- Georgios Mavroudeas
- Guillaume Baudart
- et al.
- 2021
- ASE 2021
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
- Eric Atkinson
- Guillaume Baudart
- et al.
- 2021
- SPLASH 2021
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
- Guillaume Baudart
- Javier Burroni
- et al.
- 2021
- PLDI 2021
A principled approach to GraphQL query cost analysis
- Alan Cha
- Erik Wittern
- et al.
- 2020
- ESEC/FSE 2020
Reactive probabilistic programming
- Guillaume Baudart
- Louis Mandel
- et al.
- 2020
- PLDI 2020
Patents
- 19 Jun 2023
- US
- 11681510
- 16 Jan 2023
- US
- 11556704
- 21 Nov 2022
- US
- 11507352
- 13 Jun 2022
- US
- 11361755
- 31 Mar 2022
- JP
- 7052013
- 19 Apr 2021
- US
- 10983966
- 05 Oct 2020
- US
- 10796088
- 08 Jun 2020
- US
- 10679631
- 03 Feb 2020
- US
- 10553204
- 19 Aug 2019
- US
- 10388285