Low-latency sliding-window aggregation in worst-case constant time
- Kanat Tangwongsan
- Martin Hirzel
- et al.
- 2017
- DEBS 2017
Publications
Date
Featured collections
Popular topics
61 results for Martin Hirzel
Q∗cert: A platform for implementing and verifying query compilers
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Handling 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
I can parse you: Grammars for dialogs
- Martin Hirzel
- Louis Mandel
- et al.
- 2017
- SNAPL 2017
SPL: An extensible language for distributed stream processing
- Martin Hirzel
- Scott Schneider
- et al.
- 2017
- ACM TOPLAS
Prototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017
Virtual lightweight snapshots for consistent analytics in NoSQL stores
- Fernando Chirigati
- Jérôme Siméon
- et al.
- 2016
- ICDE 2016
AQuA: Adaptive quality analytics
- Wei Zhang
- Martin Hirzel
- et al.
- 2016
- DEBS 2016
Spreadsheets for stream processing with unbounded windows and partitions
- Martin Hirzel
- Rodric Rabbah
- et al.
- 2016
- DEBS 2016
META: Middleware for Events, Transactions, and Analytics
- Matthew Arnold
- David Grove
- et al.
- 2016
- IBM J. Res. Dev