Reactive chatbot programming
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2018
- SPLASH/REBLS 2018
Conference paper
Publications
35 results for Avi Shinnar
Ariadne: Analysis for machine learning programs
- Julian Dolby
- Avraham Shinnar
- et al.
- 2018
- MAPL/PLDI 2018
Conference paperBootstrapping Chatbots for Novel Domains
- Petr Babkin
- Md Faisal Mahbub Chowdhury
- et al.
- 2017
- NeurIPS 2017
Workshop 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
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 paperQ∗cert: A platform for implementing and verifying query compilers
- 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 paperX10 and APGAS at petascale
- Olivier Tardieu
- Benjamin Herta
- et al.
- 2016
- ACM TOPC
Paper