Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
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


Infer Practitioners 2020Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track
Show activities from other conferences

Using general profile