About me

I am a PhD student in the Secure, Reliable, and Intelligent Systems Lab, supervised by Prof. Martin Vechev. My main research interests include Programming Languages, Program Synthesis and Machine Learning.

Publications

2018

Learning to Solve SMT Formulas
Mislav Balunovic, Pavol Bielik, Martin Vechev
NIPS (oral) 2018
Robust Relational Layouts Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, Martin Vechev
ACM OOPSLA 2018

2017

Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
CAV 2017
Program Synthesis for Character Level Language Modeling
Pavol Bielik, Veselin Raychev, Martin Vechev
ICLR 2017

2016

Probabilistic Model for Code with Decision Trees
Veselin Raychev, Pavol Bielik, Martin Vechev
ACM OOPSLA 2016
Learning Programs from Noisy Data
Veselin Raychev, Pavol Bielik, Martin Vechev, Andreas Krause
ACM POPL 2016
SDNRacer: Concurrency Analysis for Software-Defined Networks
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev
ACM PLDI 2016
PHOG: Probabilistic Model for Code
Pavol Bielik, Veselin Raychev, Martin Vechev
ACM ICML 2016

2015

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev
SOSR 2015
Scalable Race Detection for Android Applications
Pavol Bielik, Veselin Raychev, Martin Vechev
ACM OOPSLA 2015
Programming with Big Code: Lessons, Techniques and Applications
Pavol Bielik, Veselin Raychev, Martin Vechev
SNAPL 2015

Awards

  • Facebook PhD Fellow, 2017
  • Received Romberg Grant at 4th Heidelberg Laureate Forum (1 out of 40), 2016
  • Selected to participate at 4th Heidelberg Laureate Forum (1 out of 200), 2016
  • Finalist - Facebook Fellowship (1 out of 31), 2016
  • Selected to participate at Google’s 2nd PhD Student Summit on Compiler & Programming Technology, 2014
  • Represented ETH Zurich at University Mobile Challenge World Finals, 2013
  • 1st place - Students project of the year 2011, Czech and Slovak ACM Chapter, 2011
  • Excellence scholarship, Slovak University of Technology, 2009, 2010, 2011

Education

ETH Zurich, since 2015
PhD in Computer Science

ETH Zurich, 2012–2014
MSc in Computer Science

Slovak University of Technology, Faculty of Informatics and Information Technology, 2008–2011
BSc in Informatics