Pavol Bielik

Email
pavol.bielik@inf.ethz.ch
Phone
+41 44 633 89 87
Room
CAB H85.2

About me

I am a PhD student at the Software Reliability Lab at ETH Zurich. Originally, I am from Bratislava, Slovakia. My research interests include Program Analysis and Synthesis.

Publications

Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
CAV 2017
PDF
Program Synthesis for Character Level Language Modeling
Pavol Bielik, Veselin Raychev, Martin Vechev
ICLR 2017
PDF
Probabilistic Model for Code with Decision Trees
Veselin Raychev, Pavol Bielik, Martin Vechev
OOPSLA 2016
PDF, synthesized models
PHOG: Probabilistic Model for Code
Pavol Bielik, Veselin Raychev, Martin Vechev
ICML 2016
PDF
SDNRacer: Concurrency Analysis for Software-Defined Networks
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev
ACM PLDI 2016
PDF
Learning Programs from Noisy Data
Veselin Raychev, Pavol Bielik, Martin Vechev, Andreas Krause
ACM POPL 2016
PDF
Scalable Race Detection for Android Applications
Pavol Bielik, Veselin Raychev, Martin Vechev
ACM OOPSLA 2015
PDF
SDNRacer: Detecting Concurrency Violations in Software-Defined Networks
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev
SOSR 2015
PDF
Programming with Big Code: Lessons, Techniques and Applications
Pavol Bielik, Veselin Raychev, Martin Vechev
SNAPL 2015
PDF

Projects

EventRacer for Android

An end-to-end race detection tool for Android applications that discovers concurrency bugs.

Nice2Predict

Efficient and scalable open-source framework for structured prediction.

Tutorials

Machine Learning for Programs

CAV'16

Talks

Learning from "Big Code"

21st PeWe'17

PHOG: Prograbilistic Model for Code

ICML'16

SDNRacer: Detecting Concurrency Violations in Sofware-Defined Networks

SOSR'15

Programming with Big Code: Lessons, Techniques and Applications

SNAPL'15

EventRacer: Finding Concurrency Errors in Event-Driven Applications

StrangeLoop'14

Posters

Program Synthesis for Character Level Language Modeling

ICLR'17

Probabilistic Higher Orger Grammar (PHOG): Probabilistic Model for Code

ICML'16

EventRacer: Finding Bugs in Event-Driven Applications

Google’s 2nd PhD Student Summit on Compiler & Programming Technology 2014

Service

Education

  • 2012 - 2014 : MSc in Software Engineering, ETH Zurich.
  • 2008 - 2011 : BSc in Informatics, Slovak University of Technology, Faculty of Informatics and Information Technology.

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