Ingkarat Rak-amnouykit, Ana Milanova, et al.
Software - Practice and Experience
Paper
Dagstuhl seminar on big stream processing
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.
Related
Conference paper
Prototyping a query compiler using Coq
Joshua S. Auerbach, Martin Hirzel, et al.
JFLA 2017
Martin Hirzel, Daniel Von Dincklage, et al.
ACM TOPLAS
Martin Hirzel, Rodric Rabbah, et al.
DEBS 2016