Petr Peringer

According to our database1, Petr Peringer authored at least 11 papers between 2011 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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
From Low-Level Pointers to High-Level Containers.
CoRR, 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...