Shadow Programming: Reasoning About Programs Using Lexical Join Point Information
Abstract elided by the publisher.
Related papers
- A dynamic aspect-oriented system for OS kernels GPCE 2006
- Commuting Conversions and Join Points for Call-by-Push-Value OOPSLA 2026
- A Low-Level Look at A-Normal Form OOPSLA 2024
- Fast shadow execution for debugging numerical errors using error free transformations OOPSLA 2022
- Shadow Profiling: Hiding Instrumentation Costs with Parallelism CGO 2007
- A Fine-Grained Join Point Model for More Reusable Aspects APLAS 2006
- Lexical Profiling: Theory and Practice JFP 1995
- Shadow state encoding for efficient monitoring of block-level properties ISMM 2017