Petr Peringer

According to our database, Petr Peringer authored at least 16 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algorithmic Details behind the Predator Shape Analyser.

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2024

2022

Low-Level Bi-Abduction (Artifact).

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Dagstuhl Artifacts Ser., 2022

Low-Level Bi-Abduction.

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar

Dataset, February, 2020

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).

Petr Peringer, Veronika Soková, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

PredatorHP Attacks Interval-Sized Regions.

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2019

2016

From Low-Level Pointers to High-Level Containers.

Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Predator Shape Analysis Tool Suite.

Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Predator Hunting Party (Competition Contribution).

Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution).

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Byte-Precise Verification of Low-Level List Manipulation.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Static Analysis - 20th International Symposium, 2013

2012

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

An Easy to Use Infrastructure for Building Static Analysis Tools.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011