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

PLDI 2021	Author of Robustness Certification with Generative Models within the PLDI-track Committee Member in Program Committee within the PLDI-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2018	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
PLDI 2016	Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track
MobileDeLi 2015	Author of Scalable Race Detection for Android Applications within the MobileDeLi-track
SPLASH 2016	Author of Probabilistic Model for Code with Decision Trees within the OOPSLA-track
POPL 2016	Author of Learning Programs from Noisy Data within the Research Papers-track
PLOOC 2015	Author of Bug Localization with Statistical Models within the PLOOC 2015-track
SPLASH 2015	Author of Scalable Race Detection for Android Applications within the OOPSLA-track Author of Scalable Concurrency Analysis for Android Applications within the OOPSLA Artifacts-track
PLDI 2015	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track