BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
M.T.Vechev V.Raychev Marc Fischer Andreas Krause 0001 A.El-Hassany Jeremie Miserez L.Vanbever
Talks about:
android (2) learn (2) data (2) probabilist (1) synthesi (1) softwar (1) scalabl (1) program (1) network (1) concurr (1)

Person: Pavol Bielik

DBLP DBLP: Bielik:Pavol

Contributed to:

OOPSLA 20152015
CAV (1) 20172017
OOPSLA 20162016
OOPSLA 20182018
PLDI 20162016
POPL 20162016

Wrote 6 papers:

OOPSLA-2015-BielikRV #android #concurrent #detection #scalability
Scalable race detection for Android applications (PB, VR, MTV), pp. 332–348.
CAV-2017-BielikRV #learning
Learning a Static Analyzer from Data (PB, VR, MTV), pp. 233–253.
OOPSLA-2016-RaychevBV #probability
Probabilistic model for code with decision trees (VR, PB, MTV), pp. 731–747.
OOPSLA-2018-BielikFV #android #layout #relational #robust #synthesis
Robust relational layout synthesis from examples for Android (PB, MF, MTV), p. 29.
PLDI-2016-El-HassanyMBVV #analysis #concurrent #named #network
SDNRacer: concurrency analysis for software-defined networks (AEH, JM, PB, LV, MTV), pp. 402–415.
POPL-2016-RaychevBVK #learning #semistructured data #source code
Learning programs from noisy data (VR, PB, MTV, AK0), pp. 761–774.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.