Tomáš Vojnar -

Registered user since Mon 2 Nov 2015

Name:Tomáš Vojnar

Country:Czechia

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

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 Veriﬁer [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