Follow
Pavol Bielik
Title
Cited by
Cited by
Year
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
2672016
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International conference on machine learning, 2933-2942, 2016
2472016
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM Sigplan Notices 51 (1), 761-774, 2016
1912016
Scalable race detection for android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
1052015
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
842012
Learning to solve SMT formulas
M Balunovic, P Bielik, M Vechev
Advances in Neural Information Processing Systems 31, 2018
792018
Adversarial robustness for code
P Bielik, M Vechev
International Conference on Machine Learning, 896-907, 2020
722020
Learning a static analyzer from data
P Bielik, V Raychev, M Vechev
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
562017
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
542016
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
412015
Machine learning for health: algorithm auditing & quality control
L Oala, AG Murchison, P Balachandran, S Choudhary, J Fehr, AW Leite, ...
Journal of medical systems 45, 1-8, 2021
362021
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
272012
Adversarial attacks on probabilistic autoregressive forecasting models
R Dang-Nhu, G Singh, P Bielik, M Vechev
International Conference on Machine Learning, 2356-2365, 2020
252020
Programming with" big code": Lessons, techniques and applications
P Bielik, V Raychev, M Vechev
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
242015
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
222018
Automated discovery of adaptive attacks on adversarial defenses
C Yao, P Bielik, P Tsankov, M Vechev
Advances in Neural Information Processing Systems 34, 26858-26870, 2021
212021
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
212021
Guiding program synthesis by learning to generate examples
L Laich, P Bielik, M Vechev
International Conference on Learning Representations, 2019
182019
Program synthesis for character level language modeling
P Bielik, V Raychev, M Vechev
International conference on learning representations, 2016
172016
Robustness testing of ai systems: a case study for traffic sign recognition
C Berghoff, P Bielik, M Neu, P Tsankov, A Von Twickel
Artificial Intelligence Applications and Innovations: 17th IFIP WG 12.5 …, 2021
142021
The system can't perform the operation now. Try again later.
Articles 1–20