Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| An Efficient Data Structure For Must-Alias Analysis | 2 | 0.36 | 2018 |
| A Datalog model of must-alias analysis | 0 | 0.34 | 2017 |
| Structure-Sensitive Points-To Analysis for C and C plus | 12 | 0.53 | 2016 |
| More Sound Static Handling Of Java Reflection | 15 | 0.67 | 2015 |
| Pointer Analysis. | 19 | 0.69 | 2015 |
| Introspective analysis: context-sensitivity, across the board | 29 | 1.05 | 2014 |
| Class hierarchy complementation: soundly completing a partial type graph | 1 | 0.35 | 2013 |
| Set-based pre-processing for points-to analysis | 6 | 0.44 | 2013 |