Petr Peringer

Orcid: 0000-0002-8264-8307

According to our database1, Petr Peringer authored at least 18 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Algorithmic Details behind the Predator Shape Analyser.
CoRR, 2024

2023
PredatorHP.
Dataset, November, 2023

PredatorHP.
Dataset, November, 2023

2022
Low-Level Bi-Abduction (Artifact).
Dagstuhl Artifacts Ser., 2022

Low-Level Bi-Abduction.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020
PredatorHP.
Dataset, February, 2020

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
PredatorHP Attacks Interval-Sized Regions.
CoRR, 2019

2016
From Low-Level Pointers to High-Level Containers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Predator Shape Analysis Tool Suite.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2015
Predator Hunting Party (Competition Contribution).
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).
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Byte-Precise Verification of Low-Level List Manipulation.
Proceedings of the Static Analysis - 20th International Symposium, 2013

2012
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).
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.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011


  Loading...