Data Transducers

A general-purpose intermediate representation for streaming and monitoring.

Installation

You will need to install Rust. You can follow the directions here.

Papers

Primary

• Modular quantitative monitoring, R. Alur, K. Mamouras, and C. Stanford. Principles of Programming Languages (POPL), 2019.

The QRE Language

• Regular programming for quantitative properties of data streams, R. Alur, D. Fisman, and M. Raghothaman. European Symposium on Programming (ESOP), 2016.

• StreamQRE: Modular specification and efficient evaluation of quantitative queries over streaming data, K. Mamouras, M. Raghothaman, R. Alur, Z. Ives, and S. Khanna. Programming Languages Design and Implementation (PLDI), 2017.

Related Automata Models

• Regular functions and cost register automata, R. Alur, L. D'Antoni, J. Deshmukh, M. Raghothaman, and Y. Yuan. Logic in Computer Science (LICS), 2013.