Language-Independent Sentiment Analysis Using Subjectivity and Positional Information. - Veselin Raychev; Preslav Nakov (RANLP, 2009)

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 (ESA (1), 2010)

Refactoring with synthesis. - Veselin Raychev; Max Schäfer; Manu Sridharan; Martin T. Vechev (OOPSLA, 2013)

Effective race detection for event-driven programs. - Veselin Raychev; Martin T. Vechev; Manu Sridharan (OOPSLA, 2013)

Automatic Synthesis of Deterministic Concurrency. - Veselin Raychev; Martin T. Vechev; Eran Yahav (SAS, 2013)

Phrase-Based Statistical Translation of Programming Languages. - Svetoslav Karaivanov; Veselin Raychev; Martin T. Vechev (Onward!, 2014)

Commutativity race detection. - Dimitar Dimitrov 004; Veselin Raychev; Martin T. Vechev; Eric Koskinen (PLDI, 2014)

Code completion with statistical language models. - Veselin Raychev; Martin T. Vechev; Eran Yahav (PLDI, 2014)

Scalable race detection for Android applications. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (OOPSLA, 2015)

Stateless model checking of event-driven applications. - Casper Svenning Jensen; Anders Møller; Veselin Raychev; Dimitar Dimitrov 004; Martin T. Vechev (OOPSLA, 2015)

Programming with "Big Code": Lessons, Techniques and Applications. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (SNAPL, 2015)

Parallelizing user-defined aggregations using symbolic execution. - Veselin Raychev; Madanlal Musuvathi; Todd Mytkowicz (SOSP, 2015)

Statistical Deobfuscation of Android Applications. - Benjamin Bichsel; Veselin Raychev; Petar Tsankov; Martin T. Vechev (CCS, 2016)

PHOG: Probabilistic Model for Code. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (ICML, 2016)

Probabilistic model for code with decision trees. - Veselin Raychev; Pavol Bielik; Martin T. Vechev (OOPSLA, 2016)

Learning programs from noisy data. - Veselin Raychev; Pavol Bielik; Martin T. Vechev; Andreas Krause 001 (POPL, 2016)

Learning from Large Codebases. - Veselin Raychev (2016)

Learning a Static Analyzer from Data. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (CAV (1), 2017)

Program Synthesis for Character Level Language Modeling. - Pavol Bielik; Veselin Raychev; Martin T. Vechev (ICLR (Poster), 2017)

Debin: Predicting Debug Information in Stripped Binaries. - Jingxuan He; Pesho Ivanov; Petar Tsankov; Veselin Raychev; Martin T. Vechev (CCS, 2018)

Inferring crypto API rules from code changes. - Rumen Paletov; Petar Tsankov; Veselin Raychev; Martin T. Vechev (PLDI, 2018)

Scalable taint specification inference with big code. - Victor Chibotaru; Benjamin Bichsel; Veselin Raychev; Martin T. Vechev (PLDI, 2019)

Unsupervised learning of API aliasing specifications. - Jan Eberhardt; Samuel Steffen; Veselin Raychev; Martin T. Vechev (PLDI, 2019)

Predicting program properties from 'big code'. - Veselin Raychev; Martin T. Vechev; Andreas Krause 001 (Commun. ACM, 2019)

TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. - Berkay Berabi; Jingxuan He; Veselin Raychev; Martin T. Vechev (ICML, 2021)

Learning to find naming issues with big code and small supervision. - Jingxuan He; Cheng-Chun Lee; Veselin Raychev; Martin T. Vechev (PLDI, 2021)

Mitigating Catastrophic Forgetting in Language Transfer via Model Merging. - Anton Alexandrov; Veselin Raychev; Mark Mueller; Ce Zhang 001; Martin T. Vechev; Kristina Toutanova (EMNLP (Findings), 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)

Customizing Static Analysis using Codesearch. - Avi Hayoun; Veselin Raychev; Jack Hair (CoRR, 2024)

Mitigating Catastrophic Forgetting in Language Transfer via Model Merging. - Anton Alexandrov; Veselin Raychev; Mark Niklas Müller; Ce Zhang 001; Martin T. Vechev; Kristina Toutanova (CoRR, 2024)

BgGPT 1.0: Extending English-centric LLMs to other languages. - Anton Alexandrov; Veselin Raychev; Dimitar I. Dimitrov; Ce Zhang 001; Martin T. Vechev; Kristina Toutanova (CoRR, 2024)

BaxBench: Can LLMs Generate Correct and Secure Backends? - Mark Vero; Niels Mündler; Victor Chibotaru; Veselin Raychev; Maximilian Baader; Nikola Jovanovic 001; Jingxuan He; Martin T. Vechev (CoRR, 2025)