Pavol Bielik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | Robustness certification with generative models. | Matthew Mirman, Alexander Hgele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
| 2020 | ICLR | Guiding Program Synthesis by Learning to Generate Examples. | Larissa Laich, Pavol Bielik, Martin T. Vechev |
| 2020 | ICML | Adversarial Robustness for Code. | Pavol Bielik, Martin T. Vechev |
| 2020 | ICML | Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. | Raphal Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev |
| 2017 | CAV | Learning a Static Analyzer from Data. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2017 | ICLR | Program Synthesis for Character Level Language Modeling. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2016 | ICML | PHOG: Probabilistic Model for Code. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2016 | OOPSLA | Probabilistic model for code with decision trees. | Veselin Raychev, Pavol Bielik, Martin T. Vechev |
| 2016 | PLDI | SDNRacer: concurrency analysis for software-defined networks. | Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev |
| 2016 | POPL | Learning programs from noisy data. | Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause |
| 2015 | OOPSLA | Scalable race detection for Android applications. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |