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

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)

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)