Vechev, Martin

Code completion with statistical language models

Raychev, V., Vechev, M., & Yahav, E. (2014) · Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 555

Prompting Is Programming: A Query Language for Large Language Models

Beurer-Kellner, L., Fischer, M., & Vechev, M. (2023) · Proceedings of the ACM on Programming Languages

Topic ModelingNatural Language Processing Techniques

Cited by 117

Network-Wide Configuration Synthesis

El-Hassany, A., Tsankov, P., Vanbever, L., & Vechev, M. (2017) · Lecture Notes in Computer Science

Software-Defined Networks and 5GAdvanced Database Systems and Queries

Cited by 93

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation

Mündler, N., He, J., Jenko, S., & Vechev, M. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 47

Beyond Memorization: Violating Privacy Via Inference with Large Language Models

Staab, R., Vero, M., Balunović, M., & Vechev, M. (2023) · arXiv

Privacy-Preserving Technologies in DataPrivacy, Security, and Data Protection

Cited by 46

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents

Mündler, N., Müller, M., He, J., & Vechev, M. (2024) · Advances in Neural Information Processing Systems 37

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 25

Watermark Stealing in Large Language Models

Jovanović, N., Staab, R., & Vechev, M. (2024) · arXiv

Adversarial Robustness in Machine LearningAdvanced Steganography and Watermarking Techniques

Cited by 7

Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation

Beurer-Kellner, L., Fischer, M., & Vechev, M. (2024) · arXiv

Natural Language Processing TechniquesTopic Modeling

Cited by 5

ConStat: Performance-Based Contamination Detection in Large Language Models

Dekoninck, J., Müller, M. N., & Vechev, M. (2024) · arXiv

Topic ModelingAdversarial Robustness in Machine Learning

Cited by 3

A Unified Approach to Routing and Cascading for LLMs

Dekoninck, J., Baader, M., & Vechev, M. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0