Petr Peringer

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 9

Top Topics

Top Venues

Dagstuhl Artifacts Ser.

Publications

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar
Algorithmic Details behind the Predator Shape Analyser. CoRR (2024)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction. ECOOP (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction. CoRR (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). TACAS (2) (2020)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Attacks Interval-Sized Regions. CoRR (2019)
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
From Low-Level Pointers to High-Level Containers. VMCAI (2016)
Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
Predator Shape Analysis Tool Suite. Haifa Verification Conference (2016)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS (2016)
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
From Low-Level Pointers to High-Level Containers. CoRR (2015)
Petr Müller, Petr Peringer, Tomás Vojnar
Predator Hunting Party (Competition Contribution). TACAS (2015)
Kamil Dudka, Petr Peringer, Tomás Vojnar
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). TACAS (2014)
Kamil Dudka, Petr Peringer, Tomás Vojnar
Byte-Precise Verification of Low-Level List Manipulation. SAS (2013)
Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS (2013)
Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). TACAS (2012)
Kamil Dudka, Petr Peringer, Tomás Vojnar
An Easy to Use Infrastructure for Building Static Analysis Tools. EUROCAST (1) (2011)
Kamil Dudka, Petr Peringer, Tomás Vojnar
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. CAV (2011)