Veselin Raychev

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 18

Top Topics

Symbolic Execution

Static Analysis

Top Venues

Publications

Avi Hayoun, Veselin Raychev, Jack Hair
Customizing Static Analysis using Codesearch. CoRR (2024)
Anton Alexandrov, Veselin Raychev, Mark Niklas Müller, Ce Zhang, Martin T. Vechev, Kristina Toutanova
Mitigating Catastrophic Forgetting in Language Transfer via Model Merging. CoRR (2024)
Berkay Berabi, Alexey Gronskiy, Veselin Raychev, Gishor Sivanrupan, Victor Chibotaru, Martin T. Vechev
DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models. CoRR (2024)
Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev
TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. ICML (2021)
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev
Learning to find naming issues with big code and small supervision. PLDI (2021)
Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev
Scalable taint specification inference with big code. PLDI (2019)
Veselin Raychev, Preslav Nakov
Language-Independent Sentiment Analysis Using Subjectivity and Positional Information. CoRR (2019)
Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev
Unsupervised learning of API aliasing specifications. PLDI (2019)
Veselin Raychev, Martin T. Vechev, Andreas Krause
Predicting program properties from 'big code'. Commun. ACM 62 (3) (2019)
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev
Debin: Predicting Debug Information in Stripped Binaries. CCS (2018)
Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev
Inferring crypto API rules from code changes. PLDI (2018)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Learning a Static Analyzer from Data. CAV (1) (2017)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Program Synthesis for Character Level Language Modeling. ICLR (Poster) (2017)
Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev
Statistical Deobfuscation of Android Applications. CCS (2016)
Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause
Learning programs from noisy data. POPL (2016)
Veselin Raychev, Pavol Bielik, Martin T. Vechev
Probabilistic model for code with decision trees. OOPSLA (2016)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Learning a Static Analyzer from Data. CoRR (2016)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
PHOG: Probabilistic Model for Code. ICML (2016)
Veselin Raychev, Martin T. Vechev, Andreas Krause
Predicting Program Properties from "Big Code". POPL (2015)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Scalable race detection for Android applications. OOPSLA (2015)
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev
Stateless model checking of event-driven applications. OOPSLA (2015)
Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz
Parallelizing user-defined aggregations using symbolic execution. SOSP (2015)
Pavol Bielik, Veselin Raychev, Martin T. Vechev
Programming with "Big Code": Lessons, Techniques and Applications. SNAPL (2015)
Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen
Commutativity race detection. PLDI (2014)
Svetoslav Karaivanov, Veselin Raychev, Martin T. Vechev
Phrase-Based Statistical Translation of Programming Languages. Onward! (2014)
Veselin Raychev, Martin T. Vechev, Eran Yahav
Code completion with statistical language models. PLDI (2014)
Veselin Raychev, Martin T. Vechev, Eran Yahav
Automatic Synthesis of Deterministic Concurrency. SAS (2013)
Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev
Refactoring with synthesis. OOPSLA (2013)
Veselin Raychev, Martin T. Vechev, Manu Sridharan
Effective race detection for event-driven programs. OOPSLA (2013)
Hannah Bast, Erik Carlsson, Arno Eigenwillig, Robert Geisberger, Chris Harrelson, Veselin Raychev, Fabien Viger
Fast Routing in Very Large Public Transportation Networks Using Transfer Patterns. ESA (1) (2010)
Veselin Raychev, Preslav Nakov
Language-Independent Sentiment Analysis Using Subjectivity and Positional Information. RANLP (2009)