Tomas Vojnar

Registered user since Mon 2 Nov 2015

Name: Tomas Vojnar

Country: Czech Republic

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 2020Committee Member in Program Committee within the SAS 2020 - 27th Static Analysis Symposium-track
Infer Practitioners 2020Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track
APLAS 2019Author 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
InterAVT 2019Committee Member in Program Committee within the InterAVT-track
TACAS 2019Co-chair in Program Committee within the TACAS 2019-track
ETAPS 2019Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
Session Chair of Flanagan (part of Keynotes)
VMCAI 2018Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
POPL 2018Author 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 2017Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-track
ISSTA 2018Author 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 2018Author of Advances in the ANaConDA Framework within the Posters-track
VMCAIAuthor of From Low Level Pointers to High Level Containers within the VMCAI-track
ECOOP 2015Presenter of Noise-based Testing of Concurrent Software within the Summer School-track