Optimizing Pointer Analysis Using Bisimilarity
Abstract elided by the publisher.
Related papers
- Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis SAS 2007
- Estimating the Impact of Scalable Pointer Analysis on Optimization SAS 2001
- Faster Signature Refinement for Branching Bisimilarity Minimization TACAS 2026
- Incrementalized Pointer and Escape Analysis PLDI 2001
- Fast online pointer analysis TOPLAS 2007
- Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs PLDI 1992
- Run-Time Support for Optimizations Based on Escape Analysis CGO 2007
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994