Run-Time Type Checking for Binary Programs
No abstract available.
Related papers
- Dynamically diagnosing type errors in unsafe code OOPSLA 2016
- Indexed Types for a Statically Safe WebAssembly POPL 2024
- Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries CGO 2025
- JavaGI: The Interaction of Type Classes with Interfaces and Inheritance TOPLAS 2011
- Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries ESOP 2014
- Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools PLDI 2010
- Lazy binary-splitting: a run-time adaptive work-stealing scheduler PPoPP 2010
- Compatible Genericity with Run-Time Types for the Java Programming Language OOPSLA 1998