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
1562016
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM Sigplan Notices 51 (1), 761-774, 2016
1342016
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
1212016
Scalable race detection for android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
922015
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
742012
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
412016
Learning to Solve SMT Formulas.
M Balunovic, P Bielik, MT Vechev
NeurIPS, 10338-10349, 2018
402018
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
352015
Learning a static analyzer from data
P Bielik, V Raychev, M Vechev
International Conference on Computer Aided Verification, 233-253, 2017
322017
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
262012
Adversarial robustness for code
P Bielik, M Vechev
International Conference on Machine Learning, 896-907, 2020
192020
Programming with" big code": Lessons, techniques and applications
P Bielik, V Raychev, M Vechev
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
182015
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
72018
Adversarial attacks on probabilistic autoregressive forecasting models
R Dang-Nhu, G Singh, P Bielik, M Vechev
International Conference on Machine Learning, 2356-2365, 2020
62020
Program synthesis for character level language modeling
P Bielik, V Raychev, M Vechev
62016
Robustness certification with generative models
M Mirman, A Hägele, P Bielik, T Gehr, M Vechev
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
42021
Guiding program synthesis by learning to generate examples
L Laich, P Bielik, M Vechev
International Conference on Learning Representations, 2019
42019
Personalized training plan recommendation and activity tracking for a healthier lifestyle
P Bielik
Bulletin of the ACM Slovakia 3 (4), 39-40, 2011
42011
Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition
C Berghoff, P Bielik, M Neu, P Tsankov, A von Twickel
IFIP International Conference on Artificial Intelligence Applications and …, 2021
12021
Automated Discovery of Adaptive Attacks on Adversarial Defenses
C Yao, P Bielik, P Tsankov, M Vechev
arXiv preprint arXiv:2102.11860, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20