Dagstuhl seminar on big stream processing

Sherif Sakr; Tilmann Rabl; Martin Hirzel; Paris Carbone; Martin Strohbach

doi:10.1145/3316416.3316426

SIGMOD Record

Paper

01 Sep 2018

Dagstuhl seminar on big stream processing

View publication

Abstract

Stream processing can generate insights from big data in real time as it is being produced. This paper reports findings from a 2017 seminar on big stream processing, focusing on applications, systems, and languages.

Conference paper

Spreadsheets for stream processing with unbounded windows and partitions

Martin Hirzel, Rodric Rabbah, et al.

DEBS 2016

Paper

Prototyping a query compiler using coq (Experience report)

Joshua S. Auerbach, Martin Hirzel, et al.

Proceedings of the ACM on Programming Languages

Conference paper

Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming

Guillaume Baudart, Javier Burroni, et al.

PLDI 2021

Conference paper

Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler

Joshua S. Auerbach, Martin Hirzel, et al.

SIGMOD 2017

View all publications

Abstract

Related

Spreadsheets for stream processing with unbounded windows and partitions

Prototyping a query compiler using coq (Experience report)

Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming

Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler