Tomás Dacík

Orcid: 0000-0003-4083-8943

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Seal: Symbolic Execution with Separation Logic - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025
TDacik/Deadlock_and_Racer.
Dataset, June, 2025

RacerF: Lightweight Static Data Race Detection for C Code.
CoRR, February, 2025

RacerF: Data Race Detection with Frama-C (Competition Contribution).
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).
Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024
Deciding Boolean Separation Logic via Small Models: Artifact.
Dataset, January, 2024

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

Deciding Boolean Separation Logic via Small Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Deciding Boolean Separation Logic via Small Models: Artifact.
Dataset, December, 2023


  Loading...