2 papers
cs.PL2024
Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
Oleg Kiselyov, Tomoaki Kobayashi, Nick Palladinos
Processing large amounts of data fast, in constant and small space is the point of stream processing and the reason for its increasing use. Alas, the most performant, imperative pr…
cs.PL2022
Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi, Oleg Kiselyov
Software-Defined Radio (SDR) is widely used not only as a practical application but also as a fitting benchmark of high-performance signal processing. We report using the SDR bench…