| 2022 | ECOOP | Low-Level Bi-Abduction. | Luks Holk, Petr Peringer, Adam Rogalewicz, Veronika Sokov, Toms Vojnar, Florian Zuleger |
| 2020 | TACAS | PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). | Petr Peringer, Veronika Sokov, Toms Vojnar |
| 2016 | TACAS | Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). | Michal Kotoun, Petr Peringer, Veronika Sokov, Toms Vojnar |
| 2016 | VMCAI | From Low-Level Pointers to High-Level Containers. | Kamil Dudka, Luks Holk, Petr Peringer, Marek Trtk, Toms Vojnar |
| 2015 | TACAS | Predator Hunting Party (Competition Contribution). | Petr Mller, Petr Peringer, Toms Vojnar |
| 2014 | TACAS | Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2013 | SAS | Byte-Precise Verification of Low-Level List Manipulation. | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2013 | TACAS | Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2012 | TACAS | Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2011 | CAV | Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. | Kamil Dudka, Petr Peringer, Toms Vojnar |