Pavol Bielik
Título
Citado por
Citado por
Ano
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International Conference on Machine Learning, 2933-2942, 2016
1132016
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM SIGPLAN Notices 51 (1), 761-774, 2016
1072016
Scalable race detection for Android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
772015
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
762016
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
332015
Learning to solve SMT formulas
M Balunovic, P Bielik, M Vechev
Advances in Neural Information Processing Systems, 10317-10328, 2018
252018
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
212012
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
Adversarial Robustness for Code
P Bielik, M Vechev
arXiv preprint arXiv:2002.04694, 2020
42020
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
42018
Personalized training plan recommendation and activity tracking for a healthier lifestyle
P Bielik
Bulletin of the ACM Slovakia 3 (4), 39-40, 2011
42011
Program synthesis for character level language modeling
P Bielik, V Raychev, M Vechev
22016
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
R Dang-Nhu, G Singh, P Bielik, M Vechev
arXiv preprint arXiv:2003.03778, 2020
12020
Effective Race Detection for Android
P Bielik
ETH-Zürich, 2014
12014
Improving Robustness for Models of Code via Sparse Graph Neural Networks
K Abstreiter, P Bielik
ETH Zurich, 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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20