Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Scalable flow-sensitive pointer analysis for java with strong updates | 14 | 0.58 | 2012 |
| Dataflow analysis for datarace-free programs | 5 | 0.47 | 2011 |
| WOMM: a weak operational memory model | 0 | 0.34 | 2010 |
| Java memory model aware software validation | 8 | 0.54 | 2008 |