Dagstuhl seminar on big stream processing
- Sherif Sakr
- Tilmann Rabl
- et al.
- 2018
- SIGMOD Record
Paper
Publications
65 results for Martin Hirzel
Stream processing languages in the big data era
- Martin Hirzel
- Emanuele Della Valle
- et al.
- 2018
- SIGMOD Record
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
PaperLow-latency sliding-window aggregation in worst-case constant time
- Kanat Tangwongsan
- Martin Hirzel
- et al.
- 2017
- DEBS 2017
Conference 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 paperSPL: An extensible language for distributed stream processing
- Martin Hirzel
- Scott Schneider
- et al.
- 2017
- ACM TOPLAS
PaperPrototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017
Conference paper