Auto/Autograph
No abstract available.
Related papers
- From C to Infinity and Back: Unbounded Auto-active Verification with VCC CAV 2012
- AutoProof: Auto-Active Functional Verification of Object-Oriented Programs TACAS 2015
- Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification ECOOP 2023
- Auto-generation and auto-tuning of 3D stencil codes on GPU clusters CGO 2012
- BASMAT: bottleneck-aware sparse matrix-vector multiplication auto-tuning on GPGPUs PPoPP 2019
- Best-Effort Lazy Evaluation for Python Software Built on APIs ECOOP 2021
- Bliss: auto-tuning complex applications using a pool of diverse lightweight learning models PLDI 2021
- Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters CC 2026