Martin T. Vechev

According to our database, Martin T. Vechev authored at least 198 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Reqomp: Space-constrained Uncomputation for Quantum Circuits.

Anouk Paradis, Benjamin Bichsel, Martin T. Vechev

Quantum, February, 2024

Overcoming the Paradox of Certified Training with Gaussian Smoothing.

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

CoRR, 2024

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

Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev

CoRR, 2024

SPEAR: Exact Gradient Inversion of Batches in Federated Learning.

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

CoRR, 2024

Watermark Stealing in Large Language Models.

Nikola Jovanovic, Robin Staab, Martin T. Vechev

CoRR, 2024

Large Language Models are Advanced Anonymizers.

Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev

CoRR, 2024

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

Instruction Tuning for Secure Code Generation.

Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev

CoRR, 2024

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

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

CoRR, 2024

2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation.

Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin T. Vechev

Quantum, November, 2023

Technical Perspective: Beautiful Symbolic Abstractions for Safe and Secure Machine Learning.

Martin T. Vechev

Commun. ACM, February, 2023

Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks.

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

Proc. ACM Program. Lang., 2023

Prompting Is Programming: A Query Language for Large Language Models.

Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev

Proc. ACM Program. Lang., 2023

Controlled Text Generation via Language Model Arithmetic.

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

CoRR, 2023

From Principle to Practice: Vertical Data Minimization for Machine Learning.

Robin Staab, Nikola Jovanovic, Mislav Balunovic, Martin T. Vechev

CoRR, 2023

Prompt Sketching for Large Language Models.

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

CoRR, 2023

Expressivity of ReLU-Networks under Convex Relaxations.

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

CoRR, 2023

Beyond Memorization: Violating Privacy Via Inference with Large Language Models.

Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev

CoRR, 2023

Programmable Synthetic Tabular Data Generation.

Mark Vero, Mislav Balunovic, Martin T. Vechev

CoRR, 2023

Understanding Certified Training with Interval Bound Propagation.

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

CoRR, 2023

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

Kostadin Garov, Dimitar I. Dimitrov, Nikola Jovanovic, Martin T. Vechev

CoRR, 2023

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

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

CoRR, 2023

TAPS: Connecting Certified and Adversarial Training.

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

CoRR, 2023

Controlling Large Language Models to Generate Secure and Vulnerable Code.

Jingxuan He, Martin T. Vechev

CoRR, 2023

Automated Classification of Model Errors on ImageNet.

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

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Connecting Certified and Adversarial Training.

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

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Incentivizing Honesty among Competitors in Collaborative Learning and Optimization.

Florian E. Dorner, Nikola Konstantinov, Georgi Pashaliev, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

TabLeak: Tabular Data Leakage in Federated Learning.

Mark Vero, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev

Proceedings of the International Conference on Machine Learning, 2023

FARE: Provably Fair Representation Learning with Practical Certificates.

Nikola Jovanovic, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev

Proceedings of the International Conference on Machine Learning, 2023

Efficient Certified Training and Robustness Verification of Neural ODEs.

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

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Certified Training: Small Boxes are All You Need.

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

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Human-Guided Fair Classification for Natural Language Processing.

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

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Group and Attack: Auditing Differential Privacy.

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Large Language Models for Code: Security Hardening and Adversarial Testing.

Jingxuan He, Martin T. Vechev

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

The Fundamental Limits of Neural Networks for Interval Certified Robustness.

Matthew Mirman, Maximilian Baader, Martin T. Vechev

Trans. Mach. Learn. Res., 2022

On the Paradox of Certified Training.

Nikola Jovanovic, Mislav Balunovic, Maximilian Baader, Martin T. Vechev

Trans. Mach. Learn. Res., 2022

Data Leakage in Federated Averaging.

Dimitar Iliev Dimitrov, Mislav Balunovic, Nikola Konstantinov, Martin T. Vechev

Trans. Mach. Learn. Res., 2022

PRIMA: general and precise neural network certification via scalable convex hull approximations.

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

Proc. ACM Program. Lang., 2022

FARE: Provably Fair Representation Learning.

Nikola Jovanovic, Mislav Balunovic, Dimitar I. Dimitrov, Martin T. Vechev

CoRR, 2022

Data Leakage in Tabular Federated Learning.

Mark Vero, Mislav Balunovic, Dimitar I. Dimitrov, Martin T. Vechev

CoRR, 2022

Robust and Accurate - Compositional Architectures for Randomized Smoothing.

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

CoRR, 2022

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

Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

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

Pesho Ivanov, Benjamin Bichsel, Martin T. Vechev

Proceedings of the Research in Computational Molecular Biology, 2022

(De-)Randomized Smoothing for Decision Stump Ensembles.

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

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Learning to Configure Computer Networks with Neural Algorithmic Reasoning.

Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

LAMP: Extracting Text from Gradients with Language Model Priors.

Mislav Balunovic, Dimitar I. Dimitrov, Nikola Jovanovic, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

On Distribution Shift in Learning-based Bug Detectors.

Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev

Proceedings of the International Conference on Machine Learning, 2022

Boosting Randomized Smoothing with Variance Reduced Classifiers.

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

Proceedings of the Tenth International Conference on Learning Representations, 2022

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

Claudio Ferrari, Mark Niklas Müller, Nikola Jovanovic, Martin T. Vechev

Proceedings of the Tenth International Conference on Learning Representations, 2022

Provably Robust Adversarial Examples.

Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev

Proceedings of the Tenth International Conference on Learning Representations, 2022

Fair Normalizing Flows.

Mislav Balunovic, Anian Ruoss, Martin T. Vechev

Proceedings of the Tenth International Conference on Learning Representations, 2022

Bayesian Framework for Gradient Leakage.

Mislav Balunovic, Dimitar Iliev Dimitrov, Robin Staab, Martin T. Vechev

Proceedings of the Tenth International Conference on Learning Representations, 2022

Latent Space Smoothing for Individually Fair Representations.

Momchil Peychev, Anian Ruoss, Mislav Balunovic, Maximilian Baader, Martin T. Vechev

Proceedings of the Computer Vision - ECCV 2022, 2022

Zapper: Smart Contracts with Data and Identity Privacy.

Samuel Steffen, Benjamin Bichsel, Martin T. Vechev

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Private and Reliable Neural Network Inference.

Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Shared Certificates for Neural Network Verification.

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

The Fundamental Limits of Interval Arithmetic for Neural Networks.

Matthew Mirman, Maximilian Baader, Martin T. Vechev

CoRR, 2021

Effective Certification of Monotone Deep Equilibrium Models.

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

CoRR, 2021

Precise Multi-Neuron Abstractions for Neural Network Certification.

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

CoRR, 2021

Certified Defenses: Why Tighter Relaxations May Hurt Training?

Nikola Jovanovic, Mislav Balunovic, Maximilian Baader, Martin T. Vechev

CoRR, 2021

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

Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Unqomp: synthesizing uncomputation in Quantum circuits.

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Robustness certification with generative models.

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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Learning to find naming issues with big code and small supervision.

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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Fast and precise certification of transformers.

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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Metha: Network Verifiers Need To Be Correct Too!

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

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Automated Discovery of Adaptive Attacks on Adversarial Defenses.

Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Scaling Polyhedral Neural Network Verification on GPUs.

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

Proceedings of Machine Learning and Systems 2021, 2021

PODS: Policy Optimization via Differentiable Simulation.

Miguel Zamora, Momchil Peychev, Sehoon Ha, Martin T. Vechev, Stelian Coros

Proceedings of the 38th International Conference on Machine Learning, 2021

Scalable Certified Segmentation via Randomized Smoothing.

Marc Fischer, Maximilian Baader, Martin T. Vechev

Proceedings of the 38th International Conference on Machine Learning, 2021

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

Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev

Proceedings of the 38th International Conference on Machine Learning, 2021

Certify or Predict: Boosting Certified Robustness with Compositional Architectures.

Mark Niklas Müller, Mislav Balunovic, Martin T. Vechev

Proceedings of the 9th International Conference on Learning Representations, 2021

Robustness Certification for Point Cloud Models.

Tobias Lorenz, Anian Ruoss, Mislav Balunovic, Gagandeep Singh, Martin T. Vechev

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Learning to Explore Paths for Symbolic Execution.

Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Scalable Polyhedral Verification of Recurrent Neural Networks.

Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Efficient Certification of Spatial Robustness.

Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

zkay v0.2: Practical Data Privacy for Smart Contracts.

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

CoRR, 2020

Scalable Inference of Symbolic Adversarial Examples.

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

CoRR, 2020

Neural Network Robustness Verification on GPUs.

Christoph Müller, Gagandeep Singh, Markus Püschel, Martin T. Vechev

CoRR, 2020

Fast and Effective Robustness Certification for Recurrent Neural Networks.

Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev

CoRR, 2020

Robustness Certification of Generative Models.

Matthew Mirman, Timon Gehr, Martin T. Vechev

CoRR, 2020

Certification of Semantic Perturbations via Randomized Smoothing.

Marc Fischer, Maximilian Baader, Martin T. Vechev

CoRR, 2020

VerX: Safety Verification of Smart Contracts.

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

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Probabilistic Verification of Network Configurations.

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

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

AStarix: Fast and Optimal Sequence-to-Graph Alignment.

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

Proceedings of the Research in Computational Molecular Biology, 2020

Learning fast and precise numerical analysis.

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

λPSI: exact inference for higher-order probabilistic programs.

Timon Gehr, Samuel Steffen, Martin T. Vechev

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Silq: a high-level quantum language with safe uncomputation and intuitive semantics.

Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Config2Spec: Mining Network Specifications from Network Configurations.

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

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Learning Certified Individually Fair Representations.

Anian Ruoss, Mislav Balunovic, Marc Fischer, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Certified Defense to Image Transformations via Randomized Smoothing.

Marc Fischer, Maximilian Baader, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models.

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

Proceedings of the 37th International Conference on Machine Learning, 2020

Adversarial Robustness for Code.

Pavol Bielik, Martin T. Vechev

Proceedings of the 37th International Conference on Machine Learning, 2020

Guiding Program Synthesis by Learning to Generate Examples.

Larissa Laich, Pavol Bielik, Martin T. Vechev

Proceedings of the 8th International Conference on Learning Representations, 2020

Adversarial Training and Provable Defenses: Bridging the Gap.

Mislav Balunovic, Martin T. Vechev

Proceedings of the 8th International Conference on Learning Representations, 2020

Universal Approximation with Certified Networks.

Maximilian Baader, Matthew Mirman, Martin T. Vechev

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

An abstract domain for certifying neural networks.

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

Proc. ACM Program. Lang., 2019

Learning to Infer User Interface Attributes from Images.

Philippe Schlattner, Pavol Bielik, Martin T. Vechev

CoRR, 2019

Online Robustness Training for Deep Reinforcement Learning.

Marc Fischer, Matthew Mirman, Steven Stalder, Martin T. Vechev

CoRR, 2019

A Provable Defense for Deep Residual Networks.

Matthew Mirman, Gagandeep Singh, Martin T. Vechev

CoRR, 2019

Predicting program properties from 'big code'.

Veselin Raychev, Martin T. Vechev, Andreas Krause

Commun. ACM, 2019

Unsupervised learning of API aliasing specifications.

Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Scalable taint specification inference with big code.

Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Beyond the Single Neuron Convex Barrier for Neural Network Certification.

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

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Certifying Geometric Robustness of Neural Networks.

Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

DL2: Training and Querying Neural Networks with Logic.

Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev

Proceedings of the 36th International Conference on Machine Learning, 2019

Boosting Robustness Certification of Neural Networks.

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

Proceedings of the 7th International Conference on Learning Representations, 2019

zkay: Specifying and Enforcing Data Privacy in Smart Contracts.

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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Race Detection in Two Dimensions.

Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar

ACM Trans. Parallel Comput., 2018

A practical construction for decomposing numerical abstract domains.

Gagandeep Singh, Markus Püschel, Martin T. Vechev

Proc. ACM Program. Lang., 2018

Robust relational layout synthesis from examples for Android.

Pavol Bielik, Marc Fischer, Martin T. Vechev

Proc. ACM Program. Lang., 2018

Automatic Verification of RMA Programs via Abstraction Extrapolation.

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

NetHide: Secure and Practical Network Topology Obfuscation.

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

Proceedings of the 27th USENIX Security Symposium, 2018

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

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

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Practical concurrent traversals in search trees.

Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Inferring crypto API rules from code changes.

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Bayonet: probabilistic inference for networks.

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Incremental inference for probabilistic programs.

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Static serializability analysis for causal consistency.

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion.

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

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors.

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

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Fast and Effective Robustness Certification.

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

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Learning to Solve SMT Formulas.

Mislav Balunovic, Pavol Bielik, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Differentiable Abstract Interpretation for Provably Robust Neural Networks.

Matthew Mirman, Timon Gehr, Martin T. Vechev

Proceedings of the 35th International Conference on Machine Learning, 2018

Training Neural Machines with Trace-Based Supervision.

Matthew Mirman, Dimitar K. Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev

Proceedings of the 35th International Conference on Machine Learning, 2018

Fine-Grained Semantics for Probabilistic Programs.

Benjamin Bichsel, Timon Gehr, Martin T. Vechev

Proceedings of the Programming Languages and Systems, 2018

Securify: Practical Security Analysis of Smart Contracts.

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Debin: Predicting Debug Information in Stripped Binaries.

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

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

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Fast Numerical Program Analysis with Reinforcement Learning.

Gagandeep Singh, Markus Püschel, Martin T. Vechev

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Effective abstractions for verification under relaxed memory models.

Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav

Comput. Lang. Syst. Struct., 2017

BigBug: Practical Concurrency Analysis for SDN.

Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev

Proceedings of the Symposium on SDN Research, 2017

Fast polyhedra abstract domain.

Gagandeep Singh, Markus Püschel, Martin T. Vechev

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Serializability for eventual consistency: criterion, analysis, and applications.

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Program Synthesis for Character Level Language Modeling.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 5th International Conference on Learning Representations, 2017

Learning Disjunctions of Predicates.

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

Proceedings of the 30th Conference on Learning Theory, 2017

Synthesis of Probabilistic Privacy Enforcement.

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

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Network-Wide Configuration Synthesis.

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

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.

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

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Learning a Static Analyzer from Data.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Programming with "Big Code".

Martin T. Vechev, Eran Yahav

Found. Trends Program. Lang., 2016

Optimal Learning of Specifications from Examples.

Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav

CoRR, 2016

Learning programs from noisy data.

Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

SDNRacer: concurrency analysis for software-defined networks.

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

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Probabilistic model for code with decision trees.

Veselin Raychev, Pavol Bielik, Martin T. Vechev

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Modeling and analysis of remote memory access programming.

Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

PHOG: Probabilistic Model for Code.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 33nd International Conference on Machine Learning, 2016

Statistical Deobfuscation of Android Applications.

Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

PSI: Exact Symbolic Inference for Probabilistic Programs.

Timon Gehr, Sasa Misailovic, Martin T. Vechev

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

FASE: functionality-aware security enforcement.

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

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

Programming with "Big Code" (Dagstuhl Seminar 15472).

William W. Cohen, Charles Sutton, Martin T. Vechev

Dagstuhl Reports, 2015

SDNRacer: detecting concurrency violations in software-defined networks.

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

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Programming with "Big Code": Lessons, Techniques and Applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Making numerical program analysis fast.

Gagandeep Singh, Markus Püschel, Martin T. Vechev

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Stateless model checking of event-driven applications.

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

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scalable race detection for Android applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

An Interactive System for Data Structure Development.

Jibin Ou, Martin T. Vechev, Otmar Hilliges

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Learning Commutativity Specifications.

Timon Gehr, Dimitar K. Dimitrov, Martin T. Vechev

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Synthesis of Memory Fences via Refinement Propagation.

Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 21st International Symposium, 2014

Practical concurrent binary search trees via logical ordering.

Dana Drachsler, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Code completion with statistical language models.

Veselin Raychev, Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Commutativity race detection.

Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Phrase-Based Statistical Translation of Programming Languages.

Svetoslav Karaivanov, Veselin Raychev, Martin T. Vechev

Proceedings of the Onward! 2014, 2014

Verifying atomicity via data independence.

Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Abstraction-guided synthesis of synchronization.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Int. J. Softw. Tools Technol. Transf., 2013

Automatic Synthesis of Deterministic Concurrency.

Veselin Raychev, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013

Predicate Abstraction for Relaxed Memory Models.

Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013

Effective race detection for event-driven programs.

Veselin Raychev, Martin T. Vechev, Manu Sridharan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Refactoring with synthesis.

Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Automatic inference of memory fences.

Michael Kuperstein, Martin T. Vechev, Eran Yahav

SIGACT News, 2012

Efficient data race detection for async-finish parallelism.

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

Formal Methods Syst. Des., 2012

Scalable and precise dynamic datarace detection for structured parallelism.

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

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Race detection for web applications.

Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dynamic synthesis for relaxed memory models.

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

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems.

Matthew Arnold, Martin T. Vechev, Eran Yahav

ACM Trans. Softw. Eng. Methodol., 2011

Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated.

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

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Partial-coherence abstractions for relaxed memory models.

Michael Kuperstein, Martin T. Vechev, Eran Yahav

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing atomicity of composed concurrent operations.

Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Sprint: speculative prefetching of remote data.

Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Asynchronous assertions.

Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Automatic Verification of Determinism for Structured Parallel Programs.

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar

Proceedings of the Static Analysis - 17th International Symposium, 2010

Verifying linearizability with hindsight.

Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

PHALANX: parallel checking of expressive heap assertions.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the 9th International Symposium on Memory Management, 2010

Computer-aided construction of concurrent systems.

Martin T. Vechev

Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2010

2009

Inferring Synchronization under Limited Observability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Experience with Model Checking Linearizability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Proceedings of the Model Checking Software, 2009

Idempotent work stealing.

Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Chameleon: adaptive selection of collections.

Ohad Shacham, Martin T. Vechev, Eran Yahav

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Deriving linearizable fine-grained concurrent objects.

Martin T. Vechev, Eran Yahav

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Derivation and evaluation of concurrent collectors.

Martin T. Vechev

PhD thesis, 2007

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.

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

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Correctness-preserving derivation of concurrent garbage collection algorithms.

Martin T. Vechev, Eran Yahav, David F. Bacon

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2005

Syncopation: generational real-time garbage collection in the metronome.

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

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

High-level real-time programming in Java.

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

Proceedings of the EMSOFT 2005, 2005

Derivation and Evaluation of Concurrent Collectors.

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

Proceedings of the ECOOP 2005, 2005

2004

Write barrier elision for concurrent garbage collectors.

Martin T. Vechev, David F. Bacon

Proceedings of the 4th International Symposium on Memory Management, 2004

2003

Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM.

Martin T. Vechev, Peter D. Petrov

Proceedings of the International Conference on Embedded Systems and Applications, 2003