Martin Vechev
Scholar

Martin Vechev

Google Scholar ID: aZ1Rh50AAAAJ
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT, Sofia University
Programming LanguagesMachine LearningSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
15,312
 
H-index
55
 
i10-index
166
 
Publications
20
 
Co-authors
62
list available
Contact
No contact links provided.
Publications
25 items
SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
2026
Cited
0
CodeTaste: Can LLMs Generate Human-Level Code Refactorings?
2026
Cited
0
Recovered in Translation: Efficient Pipeline for Automated Translation of Benchmarks and Datasets
2026
Cited
0
Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
2026
Cited
0
A Unified Framework for LLM Watermarks
2026
Cited
0
AutoBaxBuilder: Bootstrapping Code Security Benchmarking
2025
Cited
0
Dual Randomized Smoothing: Beyond Global Noise Variance
2025
Cited
0
SPEAR++: Scaling Gradient Inversion via Sparsely-Used Dictionary Learning
2025
Cited
0
Resume (English only)
Co-authors
62 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Veselin Raychev
Veselin Raychev
ETH Zurich
Gagandeep Singh
Gagandeep Singh
Assistant Professor, Department of Computer Science, UIUC
Co-author 6
Co-author 6
Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Dana Drachsler-Cohen
Dana Drachsler-Cohen
Technion