E-LIB Suche - Ergebnisse für: Raychev, Veselin

1

Learning to find naming issues with big code and small supe..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

He, Jingxuan ; Lee, Cheng-Chun ; Raychev, Veselin. - p. 296-311 , 2021

Link: https://dl.acm.org/doi/1..

2

Predicting program properties from 'big code':

Raychev, Veselin ; Vechev, Martin ; Krause, Andreas
Communications of the ACM. 62 (2019) 3 - p. 99-107 , 2019

Link: https://dl.acm.org/doi/1..

3

Scalable taint specification inference with big code:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Chibotaru, Victor ; Bichsel, Benjamin ; Raychev, Veselin. - p. 760-774 , 2019

Link: https://dl.acm.org/doi/1..

4

Predicting program properties from 'big code':

Raychev, Veselin ; Vechev, Martin ; Krause, Andreas
Communications of the ACM. 62 (2019) 3 - p. 99-107 , 2019

Link: https://doi.org/10.1145/..

5

Unsupervised learning of API aliasing specifications:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Eberhardt, Jan ; Steffen, Samuel ; Raychev, Veselin. - p. 745-759 , 2019

Link: https://dl.acm.org/doi/1..

6

Inferring crypto API rules from code changes:

Paletov, Rumen ; Tsankov, Petar ; Raychev, Veselin.
ACM SIGPLAN Notices. 53 (2018) 4 - p. 450-464 , 2018

Link: https://doi.org/10.1145/..

7

Inferring crypto API rules from code changes:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Paletov, Rumen ; Tsankov, Petar ; Raychev, Veselin. - p. 450-464 , 2018

Link: https://dl.acm.org/doi/1..

8

Debin : Predicting Debug Information in Stripped Binarie:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,

He, Jingxuan ; Ivanov, Pesho ; Tsankov, Petar.. - p. 1667-1680 , 2018

Link: https://dl.acm.org/doi/1..

9

Probabilistic model for code with decision trees:

Raychev, Veselin ; Bielik, Pavol ; Vechev, Martin
ACM SIGPLAN Notices. 51 (2016) 10 - p. 731-747 , 2016

Link: https://doi.org/10.1145/..

10

Probabilistic model for code with decision trees:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Raychev, Veselin ; Bielik, Pavol ; Vechev, Martin - p. 731-747 , 2016

Link: https://dl.acm.org/doi/1..

11

Statistical Deobfuscation of Android Applications:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,

Bichsel, Benjamin ; Raychev, Veselin ; Tsankov, Petar. - p. 343-355 , 2016

Link: https://dl.acm.org/doi/1..

12

Learning programs from noisy data:

Raychev, Veselin ; Bielik, Pavol ; Vechev, Martin.
ACM SIGPLAN Notices. 51 (2016) 1 - p. 761-774 , 2016

Link: https://doi.org/10.1145/..

13

Learning programs from noisy data:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Raychev, Veselin ; Bielik, Pavol ; Vechev, Martin. - p. 761-774 , 2016

Link: https://dl.acm.org/doi/1..

14

Scalable race detection for Android applications:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Bielik, Pavol ; Raychev, Veselin ; Vechev, Martin - p. 332-348 , 2015

Link: https://dl.acm.org/doi/1..

15

Predicting Program Properties from "Big Code":

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Raychev, Veselin ; Vechev, Martin ; Krause, Andreas - p. 111-124 , 2015

Link: https://dl.acm.org/doi/1..