Spreadsheets for stream partitions and windows position paper
Martin Hirzel, Rodric Rabbah, et al.
SEMS/ICSE 2015
Summary This paper presents both a calculus for stream processing, named Brooklet, and its realization as an intermediate language, named River. Because River is based on Brooklet, it has a formal semantics that enables reasoning about the correctness of source translations and optimizations. River builds on Brooklet by addressing the real-world details that the calculus elides. We evaluated our system by implementing front-ends for three streaming languages, and three important optimizations, and a back-end for the System S distributed streaming runtime. Overall, we significantly lower the barrier to entry for new stream-processing languages and thus grow the ecosystem of this crucial style of programming.
Martin Hirzel, Rodric Rabbah, et al.
SEMS/ICSE 2015
Guillaume Baudart, Martin Hirzel, et al.
MAPL/PLDI 2019
Jennifer B. Sartor, Stephen M. Blackburn, et al.
PLDI 2010
Giuliano Losa, Vibhore Kumar, et al.
DEBS 2012