Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Abstract elided by the publisher.
Related papers
- FastBWA: Practical and Cost-Efficient Genome Sequence Alignment Pipeline PPoPP 2025
- Denotational Foundations for Expected Cost Analysis OOPSLA 2025
- Optimal Predicate Pushdown Synthesis PLDI 2026
- A simple, verified validator for software pipelining POPL 2010
- Denotational semantics as a foundation for cost recurrence extraction for functional languages JFP 2022
- Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization OOPSLA 2020
- Efficient automatic scheduling of imaging and vision pipelines for the GPU OOPSLA 2021
- Mario: Near Zero-cost Activation Checkpointing in Pipeline Parallelism PPoPP 2025