Tomás Dacík

According to our database, Tomás Dacík authored at least 9 papers between 2023 and 2026.

Collaborative distances:

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

2026

Seal: Symbolic Execution with Separation Logic - (Competition Contribution).

Tomás Brablec, Tomás Dacík, Tomás Vojnar

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

2025

TDacik/Deadlock_and_Racer.

Tomás Dacík, Tomás Vojnar

Dataset, June, 2025

RacerF: Lightweight Static Data Race Detection for C Code.

Tomás Dacík, Tomás Vojnar

CoRR, February, 2025

RacerF: Data Race Detection with Frama-C (Competition Contribution).

Tomás Dacík, Tomás Vojnar

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

RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper).

Tomás Dacík, Tomás Vojnar

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Deciding Boolean Separation Logic via Small Models: Artifact.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

Dataset, January, 2024

Deciding Boolean Separation Logic via Small Models (Technical Report).

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

CoRR, 2024

Deciding Boolean Separation Logic via Small Models.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

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

2023

Deciding Boolean Separation Logic via Small Models: Artifact.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

Dataset, December, 2023