Regular Programming for Quantitative Properties of Data Streams
Abstract elided by the publisher.
Related papers
- Modular quantitative monitoring POPL 2019
- StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data PLDI 2017
- Supermartingale Certificates for Quantitative Omega-Regular Verification and Control CAV 2025
- Montre: A Tool for Monitoring Timed Regular Expressions CAV 2017
- Rate types for stream programs OOPSLA 2014
- Teleport messaging for distributed stream programs PPoPP 2005
- Declarative Stream Runtime Verification (hLola) APLAS 2020
- One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution CGO 2024