| Probabilistic model for code with decision trees V Raychev, P Bielik, M Vechev ACM SIGPLAN Notices 51 (10), 731-747, 2016 | 296 | 2016 |
| PHOG: probabilistic model for code P Bielik, V Raychev, M Vechev International conference on machine learning, 2933-2942, 2016 | 255 | 2016 |
| Learning programs from noisy data V Raychev, P Bielik, M Vechev, A Krause ACM Sigplan Notices 51 (1), 761-774, 2016 | 194 | 2016 |
| Scalable race detection for android applications P Bielik, V Raychev, M Vechev ACM SIGPLAN Notices 50 (10), 332-348, 2015 | 106 | 2015 |
| Adversarial robustness for code P Bielik, M Vechev International Conference on Machine Learning, 896-907, 2020 | 96 | 2020 |
| 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 | 91 | 2012 |
| Learning to solve SMT formulas M Balunovic, P Bielik, M Vechev Advances in Neural Information Processing Systems 31, 2018 | 88 | 2018 |
| Learning a static analyzer from data P Bielik, V Raychev, M Vechev Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 63 | 2017 |
| 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 | 60 | 2016 |
| 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 | 55 | 2021 |
| 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 | 40 | 2015 |
| 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 | 33 | 2021 |
| 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 | 33 | 2021 |
| Adversarial attacks on probabilistic autoregressive forecasting models R Dang-Nhu, G Singh, P Bielik, M Vechev International Conference on Machine Learning, 2356-2365, 2020 | 30 | 2020 |
| 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 | 28 | 2018 |
| 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 | 28 | 2012 |
| Programming with" big code": Lessons, techniques and applications P Bielik, V Raychev, M Vechev 1st Summit on Advances in Programming Languages (SNAPL 2015) 32, 41-50, 2015 | 26 | 2015 |
| Guiding program synthesis by learning to generate examples L Laich, P Bielik, M Vechev 8th International Conference on Learning Representations (ICLR 2020)(virtual), 2020 | 20 | 2020 |
| 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 | 18 | 2021 |
| Program synthesis for character level language modeling P Bielik, V Raychev, M Vechev International conference on learning representations, 2017 | 14 | 2017 |