Registered user since Thu 13 Nov 2014

Name: Pavol Bielik

Country: Slovakia

Affiliation: ETH Zurich, Switzerland

Personal website: http://www.srl.inf.ethz.ch/bielik

Research interests: program analysis, synthesis, concurrency

PLDI 2016 Activities

• Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track in PLDI 2016
• Show activities from other conferences