Spidle: A DSL Approach to Specifying Streaming Applications
Abstract elided by the publisher.
Related papers
- Deconstraining DSLs ICFP 2012
- Forge: generating a high performance DSL implementation from a declarative specification GPCE 2013
- StreamQL: a query language for processing streaming time series OOPSLA 2020
- Type-directed scheduling of streaming accelerators PLDI 2020
- Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper) ECOOP 2023
- CONCURRIT: a domain specific language for reproducing concurrency bugs PLDI 2013
- HLola: a Very Functional Tool for Extensible Stream Runtime Verification TACAS 2021
- Software Pipelined Execution of Stream Programs on GPUs CGO 2009