Travelled to:1 × Estonia
1 × France
1 × Italy
2 × USA
Collaborated with:P.Peringer T.Vojnar P.Müller
Talks about:predat (4) contribut (3) competit (3) manipul (3) verif (3) tool (3) structur (2) level (2) dynam (2) list (2)
Person: Kamil Dudka
DBLP: Dudka:Kamil
Contributed to:
2014
201320132012
2011Wrote 5 papers:
- 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.