Loopy: Programmable and Formally Verified Loop Transformations
No abstract available.
Related papers
- This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs Haskell 2023
- LooPy: interactive program synthesis with control structures OOPSLA 2021
- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions OOPSLA 2024
- Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs POPL 2024
- Verified validation of lazy code motion PLDI 2009
- AISE v2.0: Combining Loop Transformations - (Competition Contribution) TACAS 2025
- Live Verification in an Interactive Proof Assistant PLDI 2024
- Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning PLDI 2023