Veselin Raychev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
12
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | BaxBench: Can LLMs Generate Correct and Secure Backends? | Mark Vero, Niels Mndler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev |
| 2024 | EMNLP | Mitigating Catastrophic Forgetting in Language Transfer via Model Merging. | Anton Alexandrov, Veselin Raychev, Mark Niklas Mller, Ce Zhang, Martin T. Vechev, Kristina Toutanova |
| 2021 | ICML | TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. | Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev |
| 2021 | PLDI | Learning to find naming issues with big code and small supervision. | Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev |
| 2019 | PLDI | Scalable taint specification inference with big code. | Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev |
| 2019 | PLDI | Unsupervised learning of API aliasing specifications. | Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev |
| 2018 | CCS | Debin: Predicting Debug Information in Stripped Binaries. | Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2018 | PLDI | Inferring crypto API rules from code changes. | Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2017 | CAV | Learning a Static Analyzer from Data. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2017 | ICLR | Program Synthesis for Character Level Language Modeling. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2016 | CCS | Statistical Deobfuscation of Android Applications. | Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev |
| 2016 | ICML | PHOG: Probabilistic Model for Code. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2016 | OOPSLA | Probabilistic model for code with decision trees. | Veselin Raychev, Pavol Bielik, Martin T. Vechev |
| 2016 | POPL | Learning programs from noisy data. | Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause |
| 2015 | OOPSLA | Scalable race detection for Android applications. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2015 | OOPSLA | Stateless model checking of event-driven applications. | Casper Svenning Jensen, Anders Mller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev |
| 2015 | POPL | Predicting Program Properties from "Big Code". | Veselin Raychev, Martin T. Vechev, Andreas Krause |
| 2015 | SOSP | Parallelizing user-defined aggregations using symbolic execution. | Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz |
| 2014 | OOPSLA | Phrase-Based Statistical Translation of Programming Languages. | Svetoslav Karaivanov, Veselin Raychev, Martin T. Vechev |
| 2014 | PLDI | Commutativity race detection. | Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
| 2014 | PLDI | Code completion with statistical language models. | Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2013 | OOPSLA | Refactoring with synthesis. | Veselin Raychev, Max Schfer, Manu Sridharan, Martin T. Vechev |
| 2013 | OOPSLA | Effective race detection for event-driven programs. | Veselin Raychev, Martin T. Vechev, Manu Sridharan |
| 2013 | SAS | Automatic Synthesis of Deterministic Concurrency. | Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2010 | ESA | 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 |
| 2009 | RANLP | Language-Independent Sentiment Analysis Using Subjectivity and Positional Information. | Veselin Raychev, Preslav Nakov |