Call-to-Reference Context Translation via Constraint-Guided CFL-Reachability
Presented on January 31, 2019
Presenter: Lawton
Presenter: Lawton
Preview
Lawton will talk about Call-to-Reference Context Translation via Constraint-Guided CFL-Reachability from PLDI’18. The paper presents a static analysis that helps heap-profiling dynamic analyses.