• Sign in
  • Sign up
conf.researchr.org / Pavol Bielik
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • POPL 2016 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
  • SPLASH 2018 profile
  • SPLASH 2021 profile
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

Share
xSun 14 Aug 15:21
using conf.researchr.org (v1.56.0)
Support page
Sign Up