Publications

A Synthetic Dataset for Personal Attribute Inference

Hanna Yukhymenko, Robin Staab, Mark Vero, Martin Vechev

NeurIPS Datasets and Benchmarks 2024

Paper

Code

Private Attribute Inference from Images with Vision-Language Models

Batuhan Tömekçe, Mark Vero, Robin Staab, Martin Vechev

NeurIPS 2024

Paper

Code

Exploiting LLM Quantization

Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin Vechev

NeurIPS 2024 CC BY 4.0 by @fontawesome - https://fontawesome.com

NextGenAISafety@ICML24 Oral

Website

Paper

Code

ConStat: Performance-Based Contamination Detection in Large Language Models

Jasper Dekoninck, Mark Niklas Müller, Martin Vechev

NeurIPS 2024

Website

Paper

Code

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

Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin Vechev

NeurIPS 2024

Poster

Paper

Code

Ward: Provable RAG Dataset Inference via LLM Watermarks

Nikola Jovanović, Robin Staab, Maximilian Baader, Martin Vechev

arXiv 2024

Paper

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act

Philipp Guldimann, Alexander Spiridonov, Robin Staab, Nikola Jovanović, Mark Vero, Velko Vechev, Anna Gueorguieva, Mislav Balunović, Nikola Konstantinov, Pavol Bielik, Petar Tsankov, Martin Vechev

arXiv 2024

Website

Paper

Code

Discovering Clues of Spoofed LM Watermarks

Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

arXiv 2024

Paper

A Unified Approach to Routing and Cascading for LLMs

Jasper Dekoninck, Maximilian Baader, Martin Vechev

ArXiv 2024

Paper

Code

Practical Attacks against Black-box Code Completion Engines

Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin Vechev

arXiv 2024

Paper

Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation

Jasper Dekoninck, Maximilian Baader, Martin Vechev

ArXiv 2024

Paper

Code

CuTS: Customizable Tabular Synthetic Data Generation

Mark Vero, Mislav Balunović, Martin Vechev

ICML 2024

Paper

Code

Watermark Stealing in Large Language Models

Nikola Jovanović, Robin Staab, Martin Vechev

ICML 2024 CC BY 4.0 by @fontawesome - https://fontawesome.com

R2-FM@ICLR24 Oral

Website

Paper

Code

Instruction Tuning for Secure Code Generation

Jingxuan He*, Mark Vero*, Gabriela Krasnopolska, Martin Vechev

ICML 2024 * Equal contribution

Paper

Code

Prompt Sketching for Large Language Models

Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin Vechev

ICML 2024

Paper

Code

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

Luca Beurer-Kellner, Marc Fischer, Martin Vechev

ICML 2024

Paper

Code

Modular Synthesis of Efficient Quantum Uncomputation

Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin Vechev

ACM OOPSLA 2024

Paper

DAGER: Exact Gradient Inversion for Large Language Models

Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin Vechev

ArXiv 2024

Paper

From Principle to Practice: Vertical Data Minimization for Machine Learning

Robin Staab, Nikola Jovanović, Mislav Balunović, Martin Vechev

IEEE S&P 2024

Paper

Code

Beyond Memorization: Violating Privacy Via Inference with Large Language Models

Robin Staab, Mark Vero, Mislav Balunović, Martin Vechev

ICLR 2024 CC BY 4.0 by @fontawesome - https://fontawesome.com

Spotlight, 2024 PPPM-Award

Website

Paper

Code

Back to the Drawing Board for Fair Representation Learning

Angéline Pouget, Nikola Jovanović, Mark Vero, Robin Staab, Martin Vechev

arXiv 2024

Paper

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

Niels Mündler, Jingxuan He, Slobodan Jenko, Martin Vechev

ICLR 2024

Website

Paper

Code

Understanding Certified Training with Interval Bound Propagation

Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin Vechev

ICLR 2024

Paper

Code

Black-Box Detection of Language Model Watermarks

Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

arXiv 2024

Paper

Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning

Kostadin Garov, Dimitar I. Dimitrov, Nikola Jovanović, Martin Vechev

ICLR 2024

Paper

Controlled Text Generation via Language Model Arithmetic

Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev

ICLR 2024 CC BY 4.0 by @fontawesome - https://fontawesome.com

Spotlight

Paper

Code

Expressivity of ReLU-Networks under Convex Relaxations

Maximilian Baader*, Mark Niklas Müller*, Yuhao Mao, Martin Vechev

ICLR 2024 * Equal contribution

Paper

Synthetiq: Fast and Versatile Quantum Circuit Synthesis

Anouk Paradis*, Jasper Dekoninck*, Benjamin Bichsel, Martin Vechev

OOPSLA 2024 * Equal contribution

Paper

Code

SPEAR: Exact Gradient Inversion of Batches in Federated Learning

Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin Vechev

ArXiv 2024

Paper

Overcoming the Paradox of Certified Training with Gaussian Smoothing

Stefan Balauca, Mark Niklas Müller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev

arXiv 2024

Paper

Large Language Models are Advanced Anonymizers

Robin Staab, Mark Vero, Mislav Balunović, Martin Vechev

arXiv 2024

Paper

Reqomp: Space-constrained Uncomputation for Quantum Circuits

Anouk Paradis, Benjamin Bichsel, Martin Vechev

Quantum Journal 2024

Paper

Code

Evading Data Contamination Detection for Language Models is (too) Easy

Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin Vechev

arXiv 2024

Paper

Code

Automated Classification of Model Errors on ImageNet

Momchil Peychev*, Mark Niklas Müller*, Marc Fischer, Martin Vechev

NeurIPS 2023 * Equal contribution

Poster

Slides

Talk

Paper

Code

Connecting Certified and Adversarial Training

Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin Vechev

NeuIPS 2023

Paper

Code

Group and Attack: Auditing Differential Privacy

Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin Vechev

ACM CCS 2023

Slides

Talk

Paper

Code

Large Language Models for Code: Security Hardening and Adversarial Testing

Jingxuan He, Martin Vechev

ACM CCS 2023 CC BY 4.0 by @fontawesome - https://fontawesome.com

Distinguished Paper Award

Slides

Paper

Code

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation

Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin Vechev

Quantum Journal 2023

Paper

Code

TabLeak: Tabular Data Leakage in Federated Learning

Mark Vero, Mislav Balunović, Dimitar I. Dimitrov, Martin Vechev

ICML 2023

Paper

Code

FARE: Provably Fair Representation Learning with Practical Certificates

Nikola Jovanović, Mislav Balunović, Dimitar I. Dimitrov, Martin Vechev

ICML 2023

Paper

Code

LMQL Chat: Scripted Chatbot Development

Luca Beurer-Kellner*, Marc Fischer*, Martin Vechev

Neural Conversational AI Workshop, TEACH -- ICML 2023 * Equal contribution

Paper

Code

Large Language Models are Zero-Shot Multi-Tool Users

Luca Beurer-Kellner*, Marc Fischer*, Martin Vechev

Knowlege and Logical Reasoning Workshop -- ICML 2023 * Equal contribution

Paper

Code

Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks

Mark Niklas Müller, Marc Fischer, Robin Staab, Martin Vechev

PLDI 2023

Paper

Prompting Is Programming: A Query Language for Large Language Models

Luca Beurer-Kellner, Marc Fischer, Martin Vechev

PLDI 2023

Paper

Code

Efficient Certified Training and Robustness Verification of Neural ODEs

Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin Vechev

ICLR 2023

Paper

Code

Certified Training: Small Boxes are All You Need

Mark Niklas Müller*, Franziska Eckert*, Marc Fischer, Martin Vechev

ICLR 2023 * Equal contribution CC BY 4.0 by @fontawesome - https://fontawesome.com

Spotlight

Slides

Paper

Code

Human-Guided Fair Classification for Natural Language Processing

Florian E. Dorner, Momchil Peychev, Nikola Konstantinov, Naman Goel, Elliott Ash, Martin Vechev

ICLR 2023 CC BY 4.0 by @fontawesome - https://fontawesome.com

Spotlight

Talk

Paper

Code

(De-)Randomized Smoothing for Decision Stump Ensembles

Miklós Z. Horváth*, Mark Niklas Müller*, Marc Fischer, Martin Vechev

NeurIPS 2022 * Equal contribution

Paper

Code

Learning to Configure Computer Networks with Neural Algorithmic Reasoning

Luca Beurer-Kellner, Martin Vechev, Laurent Vanbever, Petar Veličković

NeurIPS 2022

Paper

Code

LAMP: Extracting Text from Gradients with Language Model Priors

Mislav Balunović*, Dimitar I. Dimitrov*, Nikola Jovanović, Martin Vechev

NeurIPS 2022 * Equal contribution

Blog

Paper

Code

Zapper: Smart Contracts with Data and Identity Privacy

Samuel Steffen, Benjamin Bichsel, Martin Vechev

ACM CCS 2022 CC BY 4.0 by @fontawesome - https://fontawesome.com

Distinguished Paper Award

Slides

Paper

Code

Private and Reliable Neural Network Inference

Nikola Jovanović, Marc Fischer, Samuel Steffen, Martin Vechev

ACM CCS 2022

Blog

Slides

Paper

Code

Latent Space Smoothing for Individually Fair Representations

Momchil Peychev, Anian Ruoss, Mislav Balunović, Maximilian Baader, Martin Vechev

ECCV 2022

Poster

Slides

Paper

Code

On the Paradox of Certified Training

Nikola Jovanović*, Mislav Balunović*, Maximilian Baader, Martin Vechev

TMLR 2022 * Equal contribution

Blog

Paper

Code

Data Leakage in Federated Averaging

Dimitar I. Dimitrov, Mislav Balunović, Nikola Konstantinov, Martin Vechev

TMLR 2022

Paper

Code

Shared Certificates for Neural Network Verification

Marc Fischer*, Christian Sprecher*, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev

CAV 2022 * Equal contribution

Paper

Code

On Distribution Shift in Learning-based Bug Detectors

Jingxuan He, Luca Beurer-Kellner, Martin Vechev

ICML 2022

Paper

Code

ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs

Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin Vechev

IEEE S&P 2022

Slides

Paper

Code

Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds

Pesho Ivanov, Benjamin Bichsel, Martin Vechev

RECOMB 2022

Paper

Code

Robust and Accurate - Compositional Architectures for Randomized Smoothing

Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev

SRML@ICLR 2022

Paper

Code

Boosting Randomized Smoothing with Variance Reduced Classifiers

Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev

ICLR 2022 CC BY 4.0 by @fontawesome - https://fontawesome.com

Spotlight

Blog

Paper

Code

Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

Claudio Ferrari, Mark Niklas Müller, Nikola Jovanović, Martin Vechev

ICLR 2022

Blog

Paper

Code

Provably Robust Adversarial Examples

Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev

ICLR 2022

Blog

Slides

Paper

Fair Normalizing Flows

Mislav Balunović, Anian Ruoss, Martin Vechev

ICLR 2022

Blog

Paper

Code

Bayesian Framework for Gradient Leakage

Mislav Balunović, Dimitar I. Dimitrov, Robin Staab, Martin Vechev

ICLR 2022

Blog

Paper

Code

PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

Mark Niklas Müller*, Gleb Makarchuk*, Gagandeep Singh, Markus Püschel, Martin Vechev

POPL 2022 * Equal contribution

Slides

Talk

Paper

The Fundamental Limits of Neural Networks for Interval Certified Robustness

Matthew Mirman, Maximilian Baader, Martin Vechev

TMLR 2022

Paper

Automated Discovery of Adaptive Attacks on Adversarial Defenses

Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin Vechev

NeurIPS 2021

Paper

Learning to Explore Paths for Symbolic Execution

Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin Vechev

ACM CCS 2021

Slides

Paper

Code

Machine Learning for Health -- Algorithm Auditing & Quality Control

Luis Oala, Andrew G. Murchison, Pradeep Balachandran, Shruti Choudhary, Jana Fehr, Alixandro Werneck Leite, Peter G. Goldschmidt, Christian Johner, Elora D. M. Schorverth, Rose Nakasi, Martin Meyer, Federico Cabitza, Pat Baird, Carolin Prabhu, Eva Weicken, Xiaoxuan Liu, Markus Wenzel, Steffen Vogler, Darlington Akogo, Shada Alsalamah, Emre Kazim, Adriano Koshiyama, Sven Piechottka, Sheena Macpherson, Ian Shadforth, Regina Geierhofer, Christian Matek, Joachim Krois, Bruno Sanguinetti, Matthew Arentz, Pavol Bielik, Saul Calderon-Ramirez, Auss Abbood, Nicolas Langer, Stefan Haufe, Ferath Kherif, Sameer Pujari, Wojciech Samek, Thomas Wiegand

Journal of Medical Systems 2021

Paper

Robustness Certification for Point Cloud Models

Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev

ICCV 2021

Paper

Scalable Polyhedral Verification of Recurrent Neural Networks

Wonryong Ryou, Jiayu Chen, Mislav Balunović, Gagandeep Singh, Andrei Dan, Martin Vechev

CAV 2021

Paper

PODS: Policy Optimization via Differentiable Simulation

Miguel Angel Zamora Mora, Momchil Peychev, Sehoon Ha, Martin Vechev, Stelian Coros

ICML 2021

Paper

Scalable Certified Segmentation via Randomized Smoothing

Marc Fischer, Maximilian Baader, Martin Vechev

ICML 2021

Poster

Paper

Automated Discovery of Adaptive Attacks on Adversarial Defenses

Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin Vechev

AutoML@ICML 2021 CC BY 4.0 by @fontawesome - https://fontawesome.com

Oral

Talk

Paper

TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer

Berkay Berabi, Jingxuan He, Veselin Raychev, Martin Vechev

ICML 2021

Slides

Talk

Paper

Code

Unqomp: Synthesizing Uncomputation in Quantum Circuits

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin Vechev

PLDI 2021

Slides

Paper

Code

Learning to Find Naming Issues with Big Code and Small Supervision

Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin Vechev

PLDI 2021

Poster

Talk

Paper

Fast and Precise Certification of Transformers

Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin Vechev

PLDI 2021

Slides

Paper

Certify or Predict: Boosting Certified Robustness with Compositional Architectures

Mark Niklas Müller, Mislav Balunović, Martin Vechev

ICLR 2021

Slides

Talk

Paper

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers

Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin Vechev

IEEE S&P 2021

Slides

Talk

Paper

Code

Scaling Polyhedral Neural Network Verification on GPUs

Christoph Müller*, François Serre*, Gagandeep Singh, Markus Püschel, Martin Vechev

MLSys 2021 * Equal contribution

Talk

Paper

Robustness Certification with Generative Models

Matthew Mirman, Alexander Hägele, Timon Gehr, Pavol Bielik, Martin Vechev

PLDI 2021

Paper

Metha: Network Verifiers Need To Be Correct Too!

Rüdiger Birkner*, Tobias Brodmann*, Petar Tsankov, Laurent Vanbever, Martin Vechev

USENIX NSDI 2021 * Equal contribution

Slides

Talk

Paper

Efficient Certification of Spatial Robustness

Anian Ruoss, Maximilian Baader, Mislav Balunović, Martin Vechev

AAAI 2021

Paper

Learning Certified Individually Fair Representations

Anian Ruoss, Mislav Balunović, Marc Fischer, Martin Vechev

NeurIPS 2020

Slides

Paper

Code

Certified Defense to Image Transformations via Randomized Smoothing

Marc Fischer, Maximilian Baader, Martin Vechev

NeurIPS 2020

Poster

Paper

zkay v0.2: Practical Data Privacy for Smart Contracts

Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev

arXiv 2020

Paper

Code

Probabilistic Verification of Network Configurations

Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev

ACM SIGCOMM 2020 CC BY 4.0 by @fontawesome - https://fontawesome.com

Best Student Paper Award

Slides

Talk

Paper

Code

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin Vechev

ICML 2020

Slides

Talk

Paper

Learning Fast and Precise Numerical Analysis

Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev

PLDI 2020

Slides

Talk

Paper

Code

λPSI: Exact Inference for Higher-order Probabilistic Programs

Timon Gehr, Samuel Steffen, Martin Vechev

PLDI 2020

Paper

Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics

Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev

PLDI 2020

Paper

Code

Guiding Program Synthesis by Learning to Generate Examples

Larissa Laich, Pavol Bielik, Martin Vechev

ICLR 2020

Talk

Paper

Adversarial Training and Provable Defenses: Bridging the Gap

Mislav Balunović, Martin Vechev

ICLR 2020 CC BY 4.0 by @fontawesome - https://fontawesome.com

Oral

Slides

Talk

Paper

Universal Approximation with Certified Networks

Maximilian Baader, Matthew Mirman, Martin Vechev

ICLR 2020

Slides

Paper

Config2Spec: Mining Network Specifications from Network Configurations

Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev

NSDI 2020 CC BY 4.0 by @fontawesome - https://fontawesome.com

2021 IETF/IRTF Applied Networking Research Prize

Slides

Talk

Paper

Adversarial Robustness for Code

Pavol Bielik, Martin Vechev

ACM ICML 2020

Slides

Talk

Paper

VerX: Safety Verification of Smart Contracts

Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev

IEEE S&P 2020

Paper

AStarix: Fast and Optimal Sequence-to-Graph Alignment

Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, André Kahles, Gunnar Rätsch, Martin Vechev

RECOMB 2020

Talk

Paper

Code

Robustness Certification of Generative Models

Mathew Mirman, Timon Gehr, Martin Vechev

arXiv 2020

Paper

Beyond the Single Neuron Convex Barrier for Neural Network Certification

Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev

NeurIPS 2019

Poster

Paper

Learning to Infer User Interface Attributes from Images

Philippe Schlattner, Pavol Bielik, Martin Vechev

ArXiv 2019

Paper

Certifying Geometric Robustness of Neural Networks

Mislav Balunović, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev

NeurIPS 2019

Poster

Paper

zkay: Specifying and Enforcing Data Privacy in Smart Contracts

Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev

ACM CCS 2019

Slides

Paper

Code

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, Martin Vechev

ACM CCS 2019

Slides

Talk

Paper

Code

Online Robustness Training for Deep Reinforcement Learning

Marc Fischer, Matthew Mirman, Steven Stalder, Martin Vechev

arXiv 2019

Paper

DL2: Training and Querying Neural Networks with Logic

Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev

ICML 2019

Poster

Talk

Paper

Unsupervised Learning of API Aliasing Specifications

Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin Vechev

PLDI 2019

Paper

Scalable Taint Specification Inference with Big Code

Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin Vechev

PLDI 2019

Slides

Talk

Paper

Boosting Robustness Certification of Neural Networks

Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev

ICLR 2019

Poster

Paper

A Provable Defense for Deep Residual Networks

Matthew Mirman, Gagandeep Singh, Martin Vechev

ArXiv 2019

Paper

An Abstract Domain for Certifying Neural Networks

Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev

ACM POPL 2019

Slides

Paper

Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev

NIPS 2018

Poster

Paper

Learning to Solve SMT Formulas

Mislav Balunović, Pavol Bielik, Martin Vechev

NeurIPS 2018 CC BY 4.0 by @fontawesome - https://fontawesome.com

Oral

Slides

Talk

Paper

Robust Relational Layouts Synthesis from Examples for Android

Pavol Bielik, Marc Fischer, Martin Vechev

ACM OOPSLA 2018

Slides

Talk

Paper

Securify: Practical Security Analysis of Smart Contracts

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin Vechev

ACM CCS 2018

Slides

Talk

Paper

DEBIN: Predicting Debug Information in Stripped Binaries

Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev

ACM CCS 2018

Slides

Talk

Paper

Code

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev

ACM CCS 2018

Slides

Talk

Paper

Code

NetHide: Secure and Practical Network Topology Obfuscation

Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin Vechev

USENIX SECURITY 2018

Paper

Fast Numerical Program Analysis with Reinforcement Learning

Gagandeep Singh, Markus Püschel, Martin Vechev

CAV 2018

Slides

Paper

Training Neural Machines with Trace-Based Supervision

Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevich, Timon Gehr, Martin Vechev

ICML 2018

Paper

Differentiable Abstract Interpretation for Provably Robust Neural Networks

Matthew Mirman, Timon Gehr, Martin Vechev

ICML 2018

Slides

Paper

Inferring Crypto API Rules from Code Changes

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev

PLDI 2018

Talk

Paper

Bayonet: Probabilistic Inference for Networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev

PLDI 2018

Talk

Paper

Incremental Inference for Probabilistic Programs

Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka

PLDI 2018

Talk

Paper

Static Serializability Analysis for Causal Consistency

Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev

PLDI 2018

Paper

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin Vechev

IEEE S&P 2018

Slides

Talk

Paper

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

NSDI 2018

Talk

Paper

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors

Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev

NSDI 2018

Slides

Talk

Paper

Fine-grained Semantics for Probabilistic Programs

Benjamin Bichsel, Timon Gehr, Martin Vechev

ESOP 2018

Slides

Paper

Practical Concurrent Traversals in Search Trees

Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav

ACM PPoPP 2018

Paper

A Practical Construction for Decomposing Numerical Abstract Domains

Gagandeep Singh, Markus Püschel, Martin Vechev

ACM POPL 2018

Slides

Talk

Paper

Automatic Verification of RMA Programs via Abstraction Extrapolation

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev

VMCAI 2018

Slides

Paper

Fast Polyhedra Abstract Domain

Gagandeep Singh, Markus Püschel, Martin Vechev

ACM POPL 2017

Slides

Talk

Paper

Synthesis of Probabilistic Privacy Enforcement

Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin Vechev

ACM CCS 2017

Talk

Paper

Network-wide Configuration Synthesis

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

CAV 2017

Slides

Talk

Paper

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts

Andrei Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin Vechev

CAV 2017

Paper

Learning Disjunctions of Predicates

Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav

COLT 2017

Paper

Serializability for Eventual Consistency: Criterion, Analysis, and Applications

Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev

ACM POPL 2017

Paper

Learning a Static Analyzer from Data

Pavol Bielik, Veselin Raychev, Martin Vechev

CAV 2017

Slides

Talk

Paper

Program Synthesis for Character Level Language Modeling

Pavol Bielik, Veselin Raychev, Martin Vechev

ICLR 2017

Paper

Functionality-Aware Security Enforcement

Petar Tsankov, Marco Pistoia, Omer Tripp, Martin Vechev, Pietro Ferrara

ACM ACSAC 2016

Slides

Paper

Probabilistic Model for Code with Decision Trees

Veselin Raychev, Pavol Bielik, Martin Vechev

ACM OOPSLA 2016

Paper

Learning Programs from Noisy Data

Veselin Raychev, Pavol Bielik, Martin Vechev, Andreas Krause

ACM POPL 2016

Slides

Paper

PSI: Exact Symbolic Inference for Probabilistic Programs

Timon Gehr, Sasa Misailovic, Martin Vechev

CAV 2016

Paper

SDNRacer: Concurrency Analysis for Software-Defined Networks

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev

ACM PLDI 2016

Paper

Modeling and Analysis of Remote Memory Access Programming

Andrei Dan, Patrick Lam, Torsten Hoefler, Martin Vechev

ACM OOPSLA 2016

Talk

Paper

PHOG: Probabilistic Model for Code

Pavol Bielik, Veselin Raychev, Martin Vechev

ACM ICML 2016

Slides

Paper

Statistical Deobfuscation of Android Applications

Benjamin Bichsel, Veselin Raychev, Peter Tsankov, Martin Vechev

ACM CCS 2016

Slides

Talk

Paper

Making Numerical Program Analysis Fast

Gagandeep Singh, Markus Püschel, Martin Vechev

ACM PLDI 2015

Slides

Paper

Predicting Program Properties from "Big Code"

Veselin Raychev, Martin Vechev, Andreas Krause

ACM POPL 2015

Paper

An Interactive System for Data Structure Development

Jibin Ou, Otmar Hilliges, Martin Vechev

ACM CHI 2015

Talk

Paper

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev

SOSR 2015

Paper

Stateless Model Checking of Event-Driven Applications

Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev

ACM OOPSLA 2015

Paper

Learning Commutativity Specifications

Timon Gehr, Dimitar Dimitrov, Martin Vechev

CAV 2015

Paper

Race Detection in Two Dimensions

Dimitar Dimitrov, Martin Vechev, Vivek Sarkar

ACM SPAA 2015

Paper

Effective Abstractions for Verification under Relaxed Memory Models

Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav

VMCAI 2015

Slides

Paper

Scalable Race Detection for Android Applications

Pavol Bielik, Veselin Raychev, Martin Vechev

ACM OOPSLA 2015

Paper

Programming with Big Code: Lessons, Techniques and Applications

Pavol Bielik, Veselin Raychev, Martin Vechev

SNAPL 2015

Paper

Verifying Atomicity via Data Independence

Ohad Shacham, Eran Yahav, Guy Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv and Martin Vechev

ISSTA 2014

Paper

Code Completion with Statistical Language Models

Veselin Raychev, Martin Vechev, Eran Yahav

ACM PLDI 2014

Paper

Synthesis of Memory Fences via Refinement Propagation

Yuri Meshman, Andrei Dan, Martin Vechev, Eran Yahav

SAS 2014

Slides

Paper

Phrase-Based Statistical Translation of Programming Languages

Svetoslav Karaivanov, Veselin Raychev, Martin Vechev

Onward 2014

Paper

Practical Concurrent Binary Search Trees via Logical Ordering

Dana Drachsler, Martin Vechev and Eran Yahav

ACM PPoPP 2014

Paper

Commutativity Race Detection

Dimitar Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen

ACM PLDI 2014

Paper

Refactoring with Synthesis

Veselin Raychev, Max Schaefer, Manu Sridharan, Martin Vechev

ACM OOPSLA 2013

Slides

Paper

Effective Race Detection for Event-Driven Programs

Veselin Raychev, Martin Vechev, Manu Sridharan

ACM OOPSLA 2013

Slides

Paper

Automatic Synthesis of Deterministic Concurrency

Veselin Raychev, Martin Vechev, Eran Yahav

Static Analysis Symposium (SAS) 2013

Slides

Paper

Predicate Abstraction for Relaxed Memory Models

Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav

Static Analysis Symposium (SAS) 2013

Slides

Paper

Scalable and Precise Dynamic Datarace Detection for Structured Parallelism

Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav

ACM PLDI 2012

Paper

Race Detection for Web Applications

Boris Petrov, Martin Vechev, Manu Sridharan, Julian Dolby

ACM PLDI 2012

Paper

Dynamic Synthesis for Relaxed Memory Models

Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin Vechev, Eran Yahav

ACM PLDI 2012

Paper

Testing Atomicity of Composed Concurrent Operations

Ohad Shacham, Nathan Bronson, Alex Aiken, Mooly Sagiv, Martin Vechev and Eran Yahav

ACM OOPSLA 2011

Paper

Sprint: Speculative Prefetching of Remote Data

Arun Raman, Greta Yorsh, Martin Vechev and Eran Yahav

ACM OOPSLA 2011

Paper

Partial-Coherence Abstractions for Relaxed Memory Models

Michael Kuperstein, Martin Vechev and Eran Yahav

ACM PLDI 2011

Slides

Paper

Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated

Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael and Martin Vechev

ACM POPL, ACM TOPLAS 2011

Paper

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

Mathew Arnold, Martin Vechev, Eran Yahav

ACM TOSEM (ACM Transactions on Software Engineering and Methodology) 2011

Paper

Asynchronous Assertions

Eddie Aftandilian, Samuel Guyer, Martin Vechev and Eran Yahav

ACM OOPSLA 2011

Paper

Parallel Checking of Expressive Heap Assertions

Martin Vechev, Eran Yahav and Greta Yorsh

ACM ISMM 2010

Paper

Automatic Verification of Determinism for Structured Parallel Programs

Martin Vechev, Eran Yahav, Raghavan Raman and Vivek Sarkar

Static Analysis Symposium (SAS) 2010

Paper

Abstraction-Guided Synthesis Of Synchronization

Martin Vechev, Eran Yahav and Greta Yorsh

ACM POPL 2010

Paper

Efficient Data Race Detection for Async-Finish Parallelism

Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev and Eran Yahav

Runtime Verification (RV) 2010 CC BY 4.0 by @fontawesome - https://fontawesome.com

Best Paper Award

Paper

Verifying Linearizability with Hindsight

Peter O'Hearn, Noam Rinetzky, Martin Vechev, Eran Yahav and Greta Yorsh

ACM PODC 2010

Paper

Automatic Inference of Memory Fences

Michael Kuperstein, Martin Vechev and Eran Yahav

Formal Methods in Computer Aided Design (FMCAD) 2010

Slides

Paper

Inferring Synchronization under Limited Observability

Martin Vechev, Eran Yahav, Greta Yorsh

TACAS 2009

Paper

Experience with Model Checking Linearizability

Martin Vechev, Eran Yahav, Greta Yorsh

SPIN 2009

Paper

Chameleon: Adaptive Selection of Collections

Ohad Shacham, Martin Vechev, Eran Yahav

ACM PLDI 2009

Paper

Idempotent Work Stealing

Maged Michael, Martin Vechev, Vijay Saraswat

ACM PPoPP 2009

Paper

Position Paper: Verifying Optimistic Algorithms Should be Easy

Noam Rinetzky, Martin Vechev, Eran Yahav and Greta Yorsh

EC2: Exploiting Concurrency Efficiently and Correctly -- CAV Workshop 2009

Paper

Position Paper: Computer-Assisted Construction of Efficient Concurrent Algorithms

Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh

EC2: Exploiting Concurrency Efficiently and Correctly -- CAV Workshop 2008

Paper

Position Paper: Computer-Assisted Construction of Efficient Concurrent Algorithms

Martin Vechev and Eran Yahav

ACM PLDI 2008

Paper

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

Mathew Arnold, Martin Vechev, Eran Yahav

ACM OOPSLA 2008

Paper

CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors

Martin Vechev, Eran Yahav, David F. Bacon and Noam Rinetzky

ACM PLDI 2007

Paper

Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms

Martin Vechev, Eran Yahav, David F. Bacon

ACM PLDI 2006

Paper

CDerivation And Evaluation Of Concurrent Collectors

Martin Vechev, David F. Bacon, Perry Cheng, David Grove

ECOOP 2005

Paper

Syncopation: Generational Real-time Garbage Collection in the Metronome

David F. Bacon, Perry Cheng, David Grove, Martin Vechev

ACM LCTES 2005

Paper

High-level Real-time Programming in Java

David F. Bacon, Perry Cheng, David Grove, Michael Hind, V.T. Rajan, Eran Yahav, M. Hauswirth, C. Kirsch, Daniel Spoonhower, and Martin T. Vechev

ACM EMSOFT 2005

Paper

Write Barrier Elision for Concurrent Garbage Collectors

Martin Vechev and David F. Bacon

ACM ISMM 2004

Paper

Tuning Java on a DSP

Martin Vechev and Peter Petrov

GSPX 2004

Java on DSP : Challenges and Choices

Martin Vechev and Peter Petrov

GSPX 2003