Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. | 15 | 0.63 | 2013 |
| Software verification for weak memory via program transformation | 51 | 1.32 | 2013 |
| Soundness of data flow analyses for weak memory models | 9 | 0.56 | 2011 |