Pavol Bielik
Title
Cited by
Cited by
Year
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International Conference on Machine Learning, 2933-2942, 2016
1072016
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM SIGPLAN Notices 51 (1), 761-774, 2016
1042016
Scalable race detection for Android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
752015
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
712016
Move2Play: an innovative approach to encouraging people to be more physically active
P Bielik, M Tomlein, P Krátky, Š Mitrík, M Barla, M Bieliková
Proceedings of the 2nd ACM SIGHIT international health informatics symposium …, 2012
662012
SDNRacer: concurrency analysis for software-defined networks
A El-Hassany, J Miserez, P Bielik, L Vanbever, M Vechev
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
402016
SDNRacer: detecting concurrency violations in software-defined networks
J Miserez, P Bielik, A El-Hassany, L Vanbever, M Vechev
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking …, 2015
322015
Learning to solve SMT formulas
M Balunovic, P Bielik, M Vechev
Advances in Neural Information Processing Systems, 10317-10328, 2018
242018
Advanced Pedometer for Smartphone-based Activity Tracking.
M Tomlein, P Bielik, P Krátky, S Mitrík, M Barla, M Bieliková
HEALTHINF, 401-404, 2012
202012
Learning a static analyzer from data
P Bielik, V Raychev, M Vechev
International Conference on Computer Aided Verification, 233-253, 2017
172017
Programming with" big code": Lessons, techniques and applications
P Bielik, V Raychev, M Vechev
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
162015
Personalized training plan recommendation and activity tracking for a healthier lifestyle
P Bielik
Bulletin of the ACM Slovakia 3 (4), 39-40, 2011
42011
Robust relational layout synthesis from examples for Android
P Bielik, M Fischer, M Vechev
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
22018
Program synthesis for character level language modeling
P Bielik, V Raychev, M Vechev
22016
Adversarial Robustness for Code
P Bielik, M Vechev
arXiv preprint arXiv:2002.04694, 2020
12020
Effective Race Detection for Android
P Bielik
ETH-Zürich, 2014
12014
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
R Dang-Nhu, G Singh, P Bielik, M Vechev
arXiv preprint arXiv:2003.03778, 2020
2020
Learning to Infer User Interface Attributes from Images
P Schlattner, P Bielik, M Vechev
arXiv preprint arXiv:1912.13243, 2019
2019
Guiding Program Synthesis by Learning to Generate Examples
L Laich, P Bielik, M Vechev
International Conference on Learning Representations, 2019
2019
Information Sciences and Technologies Bulletin of the ACM Slovakia
M Šimko, M Pohronská, M Bieliková, P Návrat, P Bielik, M Konopka, ...
2012
The system can't perform the operation now. Try again later.
Articles 1–20