Veselin Raychev

38 papers A* 14A 5B 1Misc 1Journal 10Unranked 6

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