Exploiting Traces in Program Analysis
No abstract available.
Related papers
- Dynamic trace-based analysis of vectorization potential of applications PLDI 2012
- Debugging temporal specifications with concept analysis PLDI 2003
- Type freezing: exploiting attribute type monomorphism in tracing JIT compilers CGO 2020
- Building Approximate Calling Context from Partial Call Traces CGO 2009
- Modernizing parallel code with pattern analysis PPoPP 2021
- AC-Cache: A Memory-Efficient Caching System for Small Objects via Exploiting Access Correlations PPoPP 2025
- Compactly representing parallel program executions PPoPP 2003
- Specification and inference of trace refinement relations OOPSLA 2019