| Pointer life cycle types for lock-free data structures with memory reclamation | 0 | 0.34 | 2020 |
| Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis. | 0 | 0.34 | 2019 |
| Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. | 3 | 0.37 | 2017 |
| Effect Summaries for Thread-Modular Analysis. | 2 | 0.37 | 2017 |
