Kamil Dudka

According to our database, Kamil Dudka authored at least 8 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algorithmic Details behind the Predator Shape Analyser.

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2024

2016

From Low-Level Pointers to High-Level Containers.

Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2014

Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution).

Kamil Dudka, Petr Peringer, Tomás Vojnar

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).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Byte-Precise Verification of Low-Level List Manipulation.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Static Analysis - 20th International Symposium, 2013

2012

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

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.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011