Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Paper
Publications
26 results for Jérôme Siméon
Programming chatbots in OCaml with Watson Conversation Service
- Guillaume Baudart
- Louis Mandel
- et al.
- 2018
- JFLA 2018
Conference paperGenerating chat bots from web API specifications
- 2017
- Onward! 2017
Conference paperPrototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
PaperQ∗cert: A platform for implementing and verifying query compilers
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Conference paperHandling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Conference paperI can parse you: Grammars for dialogs
- Martin Hirzel
- Louis Mandel
- et al.
- 2017
- SNAPL 2017
Conference paperPrototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017
Conference paperVirtual lightweight snapshots for consistent analytics in NoSQL stores
- Fernando Chirigati
- Jérôme Siméon
- et al.
- 2016
- ICDE 2016
Conference paperMETA: Middleware for Events, Transactions, and Analytics
- Matthew Arnold
- David Grove
- et al.
- 2016
- IBM J. Res. Dev
Paper