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

SPLASH 2015 Activities

• Author of Scalable Race Detection for Android Applications within the MobileDeLi-track in MobileDeLi 2015
• Author of Scalable Race Detection for Android Applications within the OOPSLA-track in SPLASH 2015
• Author of Scalable Concurrency Analysis for Android Applications within the OOPSLA Artifacts-track in SPLASH 2015
• Show activities from other conferences