Tomáš Vojnar

Registered user since Mon 2 Nov 2015

Name:Tomáš Vojnar
Country:Czechia
Affiliation:Brno University of Technology
Research interests:program analysis, static program analysis, dynamic program analysis, testing, formal verification and analysis, automata, logics

Contributions

ESEC/FSE 2022 Author of Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC within the Industry Paper-track
ECOOP 2022 Author of Low-Level Bi-Abduction within the Research Papers-track
SPLASH 2021 Author of Regex Matching with Counting-Set Automata within the SIGPLAN Papers-track
ICST 2021 Author of Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. within the Industry Track-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
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
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
ETAPS 2019 Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
Session Chair of Flanagan (part of Keynotes)
InterAVT 2019 Committee Member in Program Committee within the InterAVT-track
TACAS 2019 Co-chair in Program Committee within the TACAS 2019-track
ECOOP and ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-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
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 2018 Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
VMCAI 2017 Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-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