1. Introspective analysis: Context-sensitivity, across the board;Smaragdakis,2014
2. Selective context-sensitivity guided by impact pre-analysis;Oh,2014
3. Efficient and precise points-to analysis: Modeling the heap by merging equivalent automata;Tan,2017
4. A dynamic evaluation of the precision of static heap abstractions;Liang,2010
5. Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis;Heo,2016