Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis
No abstract available.
DOI 10.1007/978-3-642-54833-8_28
Related papers
- Cost of Soundness in Mixed-Precision Tuning OOPSLA 2025
- Thresher: precise refutations for heap reachability PLDI 2013
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Inline Analysis: Beyond Selection Heuristics CGO 2006
- Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming ICFP 2021
- General data structure expansion for multi-threading PLDI 2013
- How to Make Destructive Updates Less Destructive POPL 1991
- Fully-abstract compilation by approximate back-translation POPL 2016