Petr Peringer

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