Veselin Raychev
发表
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
ICLR.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2018,
CCS.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2015,
SNAPL.
Manu Sridharan,
Martin T. Vechev,
Veselin Raychev,
2013,
OOPSLA.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2016,
CCS.
Manu Sridharan,
Max Schäfer,
Martin Vechev,
2013,
OOPSLA.
Martin T. Vechev,
Veselin Raychev,
Svetoslav Karaivanov,
2014,
Onward!.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
CAV.
Andreas Krause,
Martin T. Vechev,
Veselin Raychev,
2019,
Commun. ACM.
Jan Eberhardt,
Martin T. Vechev,
Veselin Raychev,
2019,
PLDI.
Andreas Krause,
Martin T. Vechev,
Veselin Raychev,
2015,
POPL.
Erik Carlsson,
Robert Geisberger,
Hannah Bast,
2010,
ESA.
Eran Yahav,
Martin T. Vechev,
Veselin Raychev,
2014,
PLDI.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
ICML.
Martin T. Vechev,
Veselin Raychev,
Benjamin Bichsel,
2019,
PLDI.
Preslav Nakov,
Veselin Raychev,
2009,
RANLP.
Veselin Raychev,
Veselin Raychev,
2016
.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2015,
OOPSLA.
Dimitar Dimitrov,
Eric Koskinen,
Martin T. Vechev,
2014,
PLDI.
Eran Yahav,
Martin T. Vechev,
Veselin Raychev,
2013,
SAS.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
OOPSLA.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2018,
PLDI.
Dimitar Dimitrov,
Martin T. Vechev,
Anders Møller,
2015,
OOPSLA.
Todd Mytkowicz,
Madan Musuvathi,
Veselin Raychev,
2015,
SOSP.
Andreas Krause,
Martin T. Vechev,
Pavol Bielik,
2016,
POPL.
Martin T. Vechev,
Veselin Raychev,
Jingxuan He,
2021,
PLDI.
Martin Vechev,
Martin T. Vechev,
Veselin Raychev,
2021,
ICML.
Veselin Raychev,
2021,
2021 International Conference on Code Quality (ICCQ).
Andreas Krause,
Martin T. Vechev,
Veselin Raychev,
2015,
POPL.