Scaling Java Points-to Analysis Using SPARK
No abstract available.
Related papers
- Giga-scale exhaustive points-to analysis for Java in under a minute OOPSLA 2015
- Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis CC 2026
- Scaling Type-Based Points-to Analysis with Saturation PLDI 2024
- FlashR: parallelize and scale R for machine learning using SSDs PPoPP 2018
- P/Taint: unified points-to and taint analysis OOPSLA 2017
- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis ECOOP 2009
- Points-to analysis using BDDs PLDI 2003
- MapReduce program synthesis PLDI 2016