Tomáš Vojnar

Registered user since Mon 2 Nov 2015

Name: Tomáš Vojnar

Affiliation: Brno University of Technology

Personal website: http://www.fit.vutbr.cz/~vojnar

Research interests: program analysis, static program analysis, dynamic program analysis, testing, formal verification and analysis, automata, logics

Contributions

SAS 2020 Committee Member in Program Committee within the SAS-track
Infer Practitioners 2020 Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track
SPLASH 2020 Author of Regex Matching with Counting-Set Automata within the OOPSLA-track
Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track
APLAS 2019 Author of J-ReCoVer: Java Reducer Commutativity Verifier [Tool Paper] within the Research Papers-track
Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
Ordinary PC member in Program Committee within the Research Papers-track
InterAVT 2019 Committee Member in Program Committee within the InterAVT-track
TACAS 2019 Co-chair in Program Committee within the TACAS 2019-track
ETAPS 2019 Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
Session Chair of Flanagan (part of Keynotes)
VMCAI 2018 Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
POPL 2018 Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Research Papers-track
Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Artifact Evaluation-track
VMCAI 2017 Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-track
ISSTA 2018 Author of Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs within the ISSTA Tool Demonstrations-track
ECOOP and ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-track
VMCAI Author of From Low Level Pointers to High Level Containers within the VMCAI-track
ECOOP 2015 Presenter of Noise-based Testing of Concurrent Software within the Summer School-track