Data Refinement with Low-Level Pointer Operations
No abstract available.
Related papers
- Low-level liquid types POPL 2010
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer-Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction ICFP 2024
- Practical and Accurate Low-Level Pointer Analysis CGO 2005
- Low-Level Bi-Abduction ECOOP 2022
- A formal C memory model supporting integer-pointer casts PLDI 2015
- Progressive Low-Precision Approximation of Tensor Operators on GPUs: Enabling Greater Trade-Offs between Performance and Accuracy CGO 2026
- RefinedC: automating the foundational verification of C code with refined ownership types PLDI 2021