Kamil Dudka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | VMCAI | From Low-Level Pointers to High-Level Containers. | Kamil Dudka, Luks Holk, Petr Peringer, Marek Trtk, Toms Vojnar |
| 2014 | TACAS | Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2013 | SAS | Byte-Precise Verification of Low-Level List Manipulation. | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2013 | TACAS | Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2012 | TACAS | Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2011 | CAV | Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. | Kamil Dudka, Petr Peringer, Toms Vojnar |