Pavol Bielik -

Registered user since Thu 13 Nov 2014

Name:Pavol Bielik

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://www.sri.inf.ethz.ch/bielik

Contributions

2021

PLDI

2020

PLDI

Committee Member in External Review Committee within the PLDI Research Papers-track

2018

SPLASH

Author of Robust Relational Layout Synthesis from Examples for Android within the OOPSLA-track
Author of Robust Relational Layout Synthesis from Examples for Android within the Posters-track

2016

SPLASH

Author of Probabilistic Model for Code with Decision Trees within the OOPSLA-track

PLDI

Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track

POPL

Author of Learning Programs from Noisy Data within the Research Papers-track

2015

SPLASH

Mobile!

Author of Scalable Race Detection for Android Applications within the MobileDeLi-track

PLDI

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PLOOC

Author of Bug Localization with Statistical Models within the PLOOC 2015-track