Pavol Bielik is an author at ETH Zurich specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceData ScienceProgram AnalysisSoftware AnalysisMachine LearningSystem SoftwareMobile ComputingAutomated ReasoningFormal Verification
Publications per year
2012–2020
17
17
Probabilistic model for code with decision trees
Veselin Raychev, Pavol Bielik, Martin Vechev · 2016 · 159 citations
Learning programs from noisy data
Veselin Raychev, Pavol Bielik, Martin Vechev et al. · 2016 · 125 citations
Scalable race detection for Android applications
Pavol Bielik, Veselin Raychev, Martin Vechev · 2015 · 77 citations
Rows per page
1–5 of 17