| cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). | 0 | 0.34 | 2021 |
| CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). | 0 | 0.34 | 2018 |
| CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). | 0 | 0.34 | 2017 |
