Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tomáš Vojnar

Registered user since Mon 2 Nov 2015

Name: Tomáš 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

Infer Practitioners 2020 Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Show activities from other conferences

PLDI 2020-profile
View general profile