StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data

Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna. StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 693-708, ACM, 2017. [doi]

@inproceedings{MamourasRAIK17,
  title = {StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data},
  author = {Konstantinos Mamouras and Mukund Raghothaman and Rajeev Alur and Zachary G. Ives and Sanjeev Khanna},
  year = {2017},
  doi = {10.1145/3062341.3062369},
  url = {http://doi.acm.org/10.1145/3062341.3062369},
  researchr = {https://researchr.org/publication/MamourasRAIK17},
  cites = {0},
  citedby = {0},
  pages = {693-708},
  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
  editor = {Albert Cohen 0001 and Martin T. Vechev},
  publisher = {ACM},
  isbn = {978-1-4503-4988-8},
}