Travelled to:1 × Estonia
1 × France
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:T.Vojnar K.Dudka P.Müller
Talks about:predat (5) contribut (4) competit (4) manipul (3) verif (3) tool (3) structur (2) level (2) dynam (2) list (2)
Person: Petr Peringer
DBLP: Peringer:Petr
Contributed to:
20152014
201320132012
2011Wrote 6 papers:
- TACAS-2015-MullerPV #contest
- Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.
- TACAS-2014-DudkaPV #contest #graph #memory management #named
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.
- SAS-2013-DudkaPV #low level #verification
- Byte-Precise Verification of Low-Level List Manipulation (KD, PP, TV), pp. 215–237.
- TACAS-2013-DudkaMPV #contest #low level #named #verification
- Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.
- TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification
- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
- CAV-2011-DudkaPV #data type #logic #named #using
- Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.