( en | de | ru )

 

Disambiguation of "Raychev, Veselin"

Author of the publication

copydeleteadd this publication to your clipboard
Effective race detection for event-driven programs.

, , and . OOPSLA, page 151-166. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Veselin Sarenac

Veselin Christov

Veselin Brankovi

Veselin Mitrovic

Veselin Mitrović

 

Other publications of authors with the same name

Statistical Deobfuscation of Android Applications., , , and . ACM Conference on Computer and Communications Security, page 343-355. ACM, (2016)Unsupervised learning of API aliasing specifications., , , and . PLDI, page 745-759. ACM, (2019)Commutativity race detection., , , and . PLDI, page 305-315. ACM, (2014)Parallelizing user-defined aggregations using symbolic execution., , and . SOSP, page 153-167. ACM, (2015)Stateless model checking of event-driven applications., , , , and . OOPSLA, page 57-73. ACM, (2015)Debin: Predicting Debug Information in Stripped Binaries., , , , and . CCS, page 1667-1680. ACM, (2018)Effective race detection for event-driven programs., , and . OOPSLA, page 151-166. ACM, (2013)Scalable race detection for Android applications., , and . OOPSLA, page 332-348. ACM, (2015)Learning from Large Codebases.. ETH Zurich, Zürich, Switzerland, (2016)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/121456).Predicting Program Properties from "Big Code"., , and . POPL, page 111-124. ACM, (2015)