Static and Dynamic Analysis: Better Together
Abstract elided by the publisher.
Related papers
- Finding your cronies: static analysis for dynamic object colocation OOPSLA 2004
- Better Together: Unifying Datalog and Equality Saturation PLDI 2023
- A Typed Intermediate Representation for Dynamic Languages TOPLAS 2026
- Scalar Interpolation: A Better Balance between Vector and Scalar Execution for SuperScalar Architectures CGO 2025
- Bringing dynamic languages to .NET with the DLR DLS 2007
- Live programming and programming by example: better together (keynote) GPCE 2021
- Two Approaches to Fast Bytecode Frontend for Static Analysis OOPSLA 2025
- Model Checking Concurrent Programs VMCAI 2009