Veselin Raychev

According to our database, Veselin Raychev authored at least 27 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models.

Berkay Berabi, Alexey Gronskiy, Veselin Raychev, Gishor Sivanrupan, Victor Chibotaru, Martin T. Vechev

CoRR, 2024

2021

Learning to find naming issues with big code and small supervision.

Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer.

Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev

Proceedings of the 38th International Conference on Machine Learning, 2021

2019

Predicting program properties from 'big code'.

Veselin Raychev, Martin T. Vechev, Andreas Krause

Commun. ACM, 2019

Unsupervised learning of API aliasing specifications.

Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev

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

Scalable taint specification inference with big code.

Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev

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

2018

Inferring crypto API rules from code changes.

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

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

Debin: Predicting Debug Information in Stripped Binaries.

Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

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

2017

Program Synthesis for Character Level Language Modeling.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 5th International Conference on Learning Representations, 2017

Learning a Static Analyzer from Data.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Learning from Large Codebases.

Veselin Raychev

PhD thesis, 2016

Learning programs from noisy data.

Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause

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

Probabilistic model for code with decision trees.

Veselin Raychev, Pavol Bielik, Martin T. Vechev

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

PHOG: Probabilistic Model for Code.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 33nd International Conference on Machine Learning, 2016

Statistical Deobfuscation of Android Applications.

Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev

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

2015

Parallelizing user-defined aggregations using symbolic execution.

Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Programming with "Big Code": Lessons, Techniques and Applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Stateless model checking of event-driven applications.

Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scalable race detection for Android applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Code completion with statistical language models.

Veselin Raychev, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Commutativity race detection.

Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Phrase-Based Statistical Translation of Programming Languages.

Svetoslav Karaivanov, Veselin Raychev, Martin T. Vechev

Proceedings of the Onward! 2014, 2014

2013

Automatic Synthesis of Deterministic Concurrency.

Veselin Raychev, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013

Effective race detection for event-driven programs.

Veselin Raychev, Martin T. Vechev, Manu Sridharan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Refactoring with synthesis.

Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2010

Fast Routing in Very Large Public Transportation Networks Using Transfer Patterns.

Hannah Bast, Erik Carlsson, Arno Eigenwillig, Robert Geisberger, Chris Harrelson, Veselin Raychev, Fabien Viger

Proceedings of the Algorithms, 2010

2009

Language-Independent Sentiment Analysis Using Subjectivity and Positional Information.

Veselin Raychev, Preslav Nakov

Proceedings of the Recent Advances in Natural Language Processing, 2009