Seguir
Pavol Bielik
Título
Citado por
Citado por
Ano
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
2722016
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International conference on machine learning, 2933-2942, 2016
2482016
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM Sigplan Notices 51 (1), 761-774, 2016
1902016
Scalable race detection for android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
1072015
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
832012
Learning to solve SMT formulas
M Balunovic, P Bielik, M Vechev
Advances in Neural Information Processing Systems 31, 2018
822018
Adversarial robustness for code
P Bielik, M Vechev
International Conference on Machine Learning, 896-907, 2020
742020
Learning a static analyzer from data
P Bielik, V Raychev, M Vechev
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
582017
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
532016
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
402015
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
382021
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
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
242021
Adversarial attacks on probabilistic autoregressive forecasting models
R Dang-Nhu, G Singh, P Bielik, M Vechev
International Conference on Machine Learning, 2356-2365, 2020
242020
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
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
232021
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
232018
Guiding program synthesis by learning to generate examples
L Laich, P Bielik, M Vechev
International Conference on learning representations, 2019
192019
Program synthesis for character level language modeling
P Bielik, V Raychev, M Vechev
International conference on learning representations, 2022
162022
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20