Tomáš Fiedor

Tomáš Fiedor

Software Performance Analysis & Testing Fellow

Publications

Mata: A Fast and Simple Finite Automata Library

This paper is a tool paper about efficient automata library written in C++ with Python binding.

CHOCHOLATÝ, David, FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'24. Lecture Notes in Computer Science, vol 14571. Springer, Cham

TACAS, 2024.

Tags: , , ,

Reasoning about Regular Properties: A Comparative Study

This paper is a comparative study of several different approaches to reasoning about regular properties.

FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj and VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, pp. 286-306. ISSN 0302-9743.

CADE, 2023.

Tags: , , , ,

Perun: Performance Version System

This tool paper introduces our Perun tool suite on series of case studies of real performance issues

FIEDOR Tomáš, PAVELA Jiří, ROGALEWICZ Adam and VOJNAR Tomáš. Perun: Performance Version System. In: Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022). Limassol: Institute of Electrical and Electronics Engineers, 2022, pp. 499-503. ISBN 978-1-6654-7956-1.

ICSME, 2022.

Tags: , , , ,

From Shapes to Amortized Complexity

This paper is our work automatic complexity analysis of programs manipulating with dynamic data structures.

FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Lecture Notes in Computer Science, vol. 10145. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.

VMCAI, 2018.

Tags: , , , ,

Lazy Automata Techniques for WS1S

This paper is our follow-up work on deciding WS1S logic using non-deterministic finite automata

FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, vol. 10205. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8. ISSN 0302-9743.

TACAS, 2017.

Tags: , , , ,