Tomáš Fiedor

Tomáš Fiedor

Software Performance Analysis & Testing Fellow

Posts by Tags

alternating automata

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: , , , ,

amortized complexity

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: , , , ,

anti-chains

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: , , , ,

antichains

automata library

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: , , ,

benchmarking

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: , , , ,

c++

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: , , ,

complexity analysis

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: , , , ,

decision procedures

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: , , , ,

finite automata

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: , , , ,

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: , , ,

fuzztesting

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: , , , ,

heap-manipulating programs

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 techniques

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: , , , ,

nondeterministic finite automata

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: , , , ,

performance analysis

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: , , , ,

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: , , , ,

performance testing

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: , , , ,

profiling

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: , , , ,

python

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: , , ,

regular properties

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: , , , ,

shape analysis

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: , , , ,

smt solvers

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: , , , ,

version system

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: , , , ,

ws1s logic

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: , , , ,