Kamil Dudka

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 2

Top Topics

Shape Retrieval

High Level Vision

Top Venues

Publications

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar
Algorithmic Details behind the Predator Shape Analyser. CoRR (2024)
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
From Low-Level Pointers to High-Level Containers. VMCAI (2016)
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
From Low-Level Pointers to High-Level Containers. CoRR (2015)
Kamil Dudka, Petr Peringer, Tomás Vojnar
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). TACAS (2014)
Kamil Dudka, Petr Peringer, Tomás Vojnar
Byte-Precise Verification of Low-Level List Manipulation. SAS (2013)
Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS (2013)
Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). TACAS (2012)
Kamil Dudka, Petr Peringer, Tomás Vojnar
An Easy to Use Infrastructure for Building Static Analysis Tools. EUROCAST (1) (2011)
Kamil Dudka, Petr Peringer, Tomás Vojnar
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. CAV (2011)