Conference paper
Jeannie: Granting java native interface developers their wishes
Martin Hirzel, Robert Grimm
OOPSLA 2007
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, Emanuele Della Valle, et al.
SIGMOD Record
Kanat Tangwongsan, Martin Hirzel, et al.
VLDB