Martin T. Vechev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
151
Venues
31
Active years
2005–2026
Best venue rank
A*
Where they publish
- A*ICML26 papers
- A*ICLR25 papers
- A*PLDI25 papers
- A*CCS12 papers
- AOOPSLA11 papers
- A*CAV8 papers
- A*POPL6 papers
- A*SP5 papers
- NationalNSDI4 papers
- BSAS4 papers
- BPPoPP3 papers
- BRECOMB2 papers
- BVMCAI2 papers
- A*ACL1 paper
- A*EMNLP1 paper
- A*ECCV1 paper
- A*AAAI1 paper
- A*ICCV1 paper
- A*SIGCOMM1 paper
- AESOP1 paper
- A*COLT1 paper
- AACSAC1 paper
- A*CHI1 paper
- BSPAA1 paper
- AISSTA1 paper
- BFMCAD1 paper
- A*PODC1 paper
- BRV1 paper
- ATACAS1 paper
- AECOOP1 paper
- Journal PublishedEMSOFT1 paper
Papers
151 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Recovered in Translation: Efficient Pipeline for Automated Translation of Benchmarks and Datasets. | Hanna Yukhymenko, Anton Alexandrov, Martin T. Vechev |
| 2025 | ICLR | Ward: Provable RAG Dataset Inference via LLM Watermarks. | Nikola Jovanovic, Robin Staab, Maximilian Baader, Martin T. Vechev |
| 2025 | ICLR | Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation. | Jasper Dekoninck, Maximilian Baader, Martin T. Vechev |
| 2025 | ICLR | GRAIN: Exact Graph Reconstruction from Gradients. | Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2025 | ICLR | Black-Box Detection of Language Model Watermarks. | Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, Martin T. Vechev |
| 2025 | ICLR | Language Models are Advanced Anonymizers. | Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev |
| 2025 | ICML | MathConstruct: Challenging LLM Reasoning with Constructive Proofs. | Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev |
| 2025 | ICML | A Unified Approach to Routing and Cascading for LLMs. | Jasper Dekoninck, Maximilian Baader, Martin T. Vechev |
| 2025 | ICML | Mind the Gap: A Practical Attack on GGUF Quantization. | Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev |
| 2025 | ICML | Discovering Spoofing Attempts on Language Model Watermarks. | Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, Martin T. Vechev |
| 2025 | ICML | Black-Box Adversarial Attacks on LLM-Based Code Completion. | Slobodan Jenko, Niels Mndler, Jingxuan He, Mark Vero, Martin T. Vechev |
| 2025 | ICML | CTBench: A Library and Benchmark for Certified Training. | Yuhao Mao, Stefan Balauca, Martin T. Vechev |
| 2025 | ICML | Average Certified Radius is a Poor Metric for Randomized Smoothing. | Chenhao Sun, Yuhao Mao, Mark Niklas Mller, Martin T. Vechev |
| 2025 | ICML | Automated Benchmark Generation for Repository-Level Coding Tasks. | Konstantinos Vergopoulos, Mark Niklas Mller, Martin T. Vechev |
| 2025 | ICML | BaxBench: Can LLMs Generate Correct and Secure Backends? | Mark Vero, Niels Mndler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev |
| 2024 | EMNLP | Mitigating Catastrophic Forgetting in Language Transfer via Model Merging. | Anton Alexandrov, Veselin Raychev, Mark Niklas Mller, Ce Zhang, Martin T. Vechev, Kristina Toutanova |
| 2024 | ICLR | Expressivity of ReLU-Networks under Convex Relaxations. | Maximilian Baader, Mark Niklas Mller, Yuhao Mao, Martin T. Vechev |
| 2024 | ICLR | Controlled Text Generation via Language Model Arithmetic. | Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev |
| 2024 | ICLR | Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning. | Kostadin Garov, Dimitar Iliev Dimitrov, Nikola Jovanovic, Martin T. Vechev |
| 2024 | ICLR | Understanding Certified Training with Interval Bound Propagation. | Yuhao Mao, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2024 | ICLR | Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. | Niels Mndler, Jingxuan He, Slobodan Jenko, Martin T. Vechev |
| 2024 | ICLR | Beyond Memorization: Violating Privacy via Inference with Large Language Models. | Robin Staab, Mark Vero, Mislav Balunovic, Martin T. Vechev |
| 2024 | ICML | Watermark Stealing in Large Language Models. | Nikola Jovanovic, Robin Staab, Martin T. Vechev |
| 2024 | ICML | Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. | Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev |
| 2024 | ICML | Prompt Sketching for Large Language Models. | Luca Beurer-Kellner, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2024 | ICML | Instruction Tuning for Secure Code Generation. | Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev |
| 2024 | ICML | CuTS: Customizable Tabular Synthetic Data Generation. | Mark Vero, Mislav Balunovic, Martin T. Vechev |
| 2024 | SP | From Principle to Practice: Vertical Data Minimization for Machine Learning. | Robin Staab, Nikola Jovanovic, Mislav Balunovic, Martin T. Vechev |
| 2023 | CCS | Large Language Models for Code: Security Hardening and Adversarial Testing. | Jingxuan He, Martin T. Vechev |
| 2023 | CCS | Group and Attack: Auditing Differential Privacy. | Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin T. Vechev |
| 2023 | ICLR | Human-Guided Fair Classification for Natural Language Processing. | Florian E. Dorner, Momchil Peychev, Nikola Konstantinov, Naman Goel, Elliott Ash, Martin T. Vechev |
| 2023 | ICLR | Certified Training: Small Boxes are All You Need. | Mark Niklas Mller, Franziska Eckert, Marc Fischer, Martin T. Vechev |
| 2023 | ICLR | Efficient Certified Training and Robustness Verification of Neural ODEs. | Mustafa Zeqiri, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2023 | ICML | FARE: Provably Fair Representation Learning with Practical Certificates. | Nikola Jovanovic, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2023 | ICML | TabLeak: Tabular Data Leakage in Federated Learning. | Mark Vero, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2022 | CAV | Shared Certificates for Neural Network Verification. | Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev |
| 2022 | CCS | Private and Reliable Neural Network Inference. | Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev |
| 2022 | CCS | Zapper: Smart Contracts with Data and Identity Privacy. | Samuel Steffen, Benjamin Bichsel, Martin T. Vechev |
| 2022 | ECCV | Latent Space Smoothing for Individually Fair Representations. | Momchil Peychev, Anian Ruoss, Mislav Balunovic, Maximilian Baader, Martin T. Vechev |
| 2022 | ICLR | Bayesian Framework for Gradient Leakage. | Mislav Balunovic, Dimitar Iliev Dimitrov, Robin Staab, Martin T. Vechev |
| 2022 | ICLR | Fair Normalizing Flows. | Mislav Balunovic, Anian Ruoss, Martin T. Vechev |
| 2022 | ICLR | Provably Robust Adversarial Examples. | Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev |
| 2022 | ICLR | Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound. | Claudio Ferrari, Mark Niklas Mller, Nikola Jovanovic, Martin T. Vechev |
| 2022 | ICLR | Boosting Randomized Smoothing with Variance Reduced Classifiers. | Mikls Z. Horvth, Mark Niklas Mller, Marc Fischer, Martin T. Vechev |
| 2022 | ICML | On Distribution Shift in Learning-based Bug Detectors. | Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev |
| 2022 | RECOMB | Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds. | Pesho Ivanov, Benjamin Bichsel, Martin T. Vechev |
| 2022 | SP | ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. | Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev |
| 2021 | AAAI | Efficient Certification of Spatial Robustness. | Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev |
| 2021 | CAV | Scalable Polyhedral Verification of Recurrent Neural Networks. | Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev |
| 2021 | CCS | Learning to Explore Paths for Symbolic Execution. | Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev |
| 2021 | ICCV | Robustness Certification for Point Cloud Models. | Tobias Lorenz, Anian Ruoss, Mislav Balunovic, Gagandeep Singh, Martin T. Vechev |
| 2021 | ICLR | Certify or Predict: Boosting Certified Robustness with Compositional Architectures. | Mark Niklas Mller, Mislav Balunovic, Martin T. Vechev |
| 2021 | ICML | TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. | Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev |
| 2021 | ICML | Scalable Certified Segmentation via Randomized Smoothing. | Marc Fischer, Maximilian Baader, Martin T. Vechev |
| 2021 | ICML | PODS: Policy Optimization via Differentiable Simulation. | Miguel Zamora, Momchil Peychev, Sehoon Ha, Martin T. Vechev, Stelian Coros |
| 2021 | NSDI | Metha: Network Verifiers Need To Be Correct Too! | Rdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2021 | PLDI | Fast and precise certification of transformers. | Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev |
| 2021 | PLDI | Learning to find naming issues with big code and small supervision. | Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev |
| 2021 | PLDI | Robustness certification with generative models. | Matthew Mirman, Alexander Hgele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
| 2021 | PLDI | Unqomp: synthesizing uncomputation in Quantum circuits. | Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev |
| 2021 | SP | DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. | Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev |
| 2020 | ICLR | Universal Approximation with Certified Networks. | Maximilian Baader, Matthew Mirman, Martin T. Vechev |
| 2020 | ICLR | Adversarial Training and Provable Defenses: Bridging the Gap. | Mislav Balunovic, Martin T. Vechev |
| 2020 | ICLR | Guiding Program Synthesis by Learning to Generate Examples. | Larissa Laich, Pavol Bielik, Martin T. Vechev |
| 2020 | ICML | Adversarial Robustness for Code. | Pavol Bielik, Martin T. Vechev |
| 2020 | ICML | Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. | Raphal Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev |
| 2020 | NSDI | Config2Spec: Mining Network Specifications from Network Configurations. | Rdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev |
| 2020 | PLDI | Silq: a high-level quantum language with safe uncomputation and intuitive semantics. | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev |
| 2020 | PLDI | λPSI: exact inference for higher-order probabilistic programs. | Timon Gehr, Samuel Steffen, Martin T. Vechev |
| 2020 | PLDI | Learning fast and precise numerical analysis. | Jingxuan He, Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2020 | RECOMB | AStarix: Fast and Optimal Sequence-to-Graph Alignment. | Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, Andr Kahles, Gunnar Rtsch, Martin T. Vechev |
| 2020 | SIGCOMM | Probabilistic Verification of Network Configurations. | Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2020 | SP | VerX: Safety Verification of Smart Contracts. | Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev |
| 2019 | CCS | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. | Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev |
| 2019 | CCS | zkay: Specifying and Enforcing Data Privacy in Smart Contracts. | Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev |
| 2019 | ICLR | Boosting Robustness Certification of Neural Networks. | Gagandeep Singh, Timon Gehr, Markus Pschel, Martin T. Vechev |
| 2019 | ICML | DL2: Training and Querying Neural Networks with Logic. | Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev |
| 2019 | PLDI | Scalable taint specification inference with big code. | Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev |
| 2019 | PLDI | Unsupervised learning of API aliasing specifications. | Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev |
| 2018 | CAV | Fast Numerical Program Analysis with Reinforcement Learning. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2018 | CCS | DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. | Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev |
| 2018 | CCS | Debin: Predicting Debug Information in Stripped Binaries. | Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2018 | CCS | Securify: Practical Security Analysis of Smart Contracts. | Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bnzli, Martin T. Vechev |
| 2018 | ESOP | Fine-Grained Semantics for Probabilistic Programs. | Benjamin Bichsel, Timon Gehr, Martin T. Vechev |
| 2018 | ICML | Training Neural Machines with Trace-Based Supervision. | Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev |
| 2018 | ICML | Differentiable Abstract Interpretation for Provably Robust Neural Networks. | Matthew Mirman, Timon Gehr, Martin T. Vechev |
| 2018 | NSDI | Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. | Rdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev |
| 2018 | NSDI | NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2018 | PLDI | Static serializability analysis for causal consistency. | Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev |
| 2018 | PLDI | Incremental inference for probabilistic programs. | Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
| 2018 | PLDI | Bayonet: probabilistic inference for networks. | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
| 2018 | PLDI | Inferring crypto API rules from code changes. | Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2018 | PPoPP | Practical concurrent traversals in search trees. | Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav |
| 2018 | SP | 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 |
| 2018 | VMCAI | Automatic Verification of RMA Programs via Abstraction Extrapolation. | Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev |
| 2017 | CAV | Learning a Static Analyzer from Data. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2017 | CAV | Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. | Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev |
| 2017 | CAV | Network-Wide Configuration Synthesis. | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2017 | CCS | Synthesis of Probabilistic Privacy Enforcement. | Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev |
| 2017 | COLT | Learning Disjunctions of Predicates. | Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav |
| 2017 | ICLR | Program Synthesis for Character Level Language Modeling. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2017 | POPL | Serializability for eventual consistency: criterion, analysis, and applications. | Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev |
| 2017 | POPL | Fast polyhedra abstract domain. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2016 | ACSAC | FASE: functionality-aware security enforcement. | Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara |
| 2016 | CAV | PSI: Exact Symbolic Inference for Probabilistic Programs. | Timon Gehr, Sasa Misailovic, Martin T. Vechev |
| 2016 | CCS | Statistical Deobfuscation of Android Applications. | Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev |
| 2016 | ICML | PHOG: Probabilistic Model for Code. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2016 | OOPSLA | Modeling and analysis of remote memory access programming. | Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev |
| 2016 | OOPSLA | Probabilistic model for code with decision trees. | Veselin Raychev, Pavol Bielik, Martin T. Vechev |
| 2016 | PLDI | SDNRacer: concurrency analysis for software-defined networks. | Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev |
| 2016 | POPL | Learning programs from noisy data. | Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause |
| 2015 | CAV | Learning Commutativity Specifications. | Timon Gehr, Dimitar Dimitrov, Martin T. Vechev |
| 2015 | CHI | An Interactive System for Data Structure Development. | Jibin Ou, Martin T. Vechev, Otmar Hilliges |
| 2015 | OOPSLA | Scalable race detection for Android applications. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2015 | OOPSLA | Stateless model checking of event-driven applications. | Casper Svenning Jensen, Anders Mller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev |
| 2015 | PLDI | Making numerical program analysis fast. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2015 | POPL | Predicting Program Properties from "Big Code". | Veselin Raychev, Martin T. Vechev, Andreas Krause |
| 2015 | SPAA | Race Detection in Two Dimensions. | Dimitar Dimitrov, Martin T. Vechev, Vivek Sarkar |
| 2015 | VMCAI | Effective Abstractions for Verification under Relaxed Memory Models. | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
| 2014 | ISSTA | Verifying atomicity via data independence. | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2014 | OOPSLA | Phrase-Based Statistical Translation of Programming Languages. | Svetoslav Karaivanov, Veselin Raychev, Martin T. Vechev |
| 2014 | PLDI | Commutativity race detection. | Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
| 2014 | PLDI | Code completion with statistical language models. | Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2014 | PPoPP | Practical concurrent binary search trees via logical ordering. | Dana Drachsler, Martin T. Vechev, Eran Yahav |
| 2014 | SAS | Synthesis of Memory Fences via Refinement Propagation. | Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav |
| 2013 | OOPSLA | Refactoring with synthesis. | Veselin Raychev, Max Schfer, Manu Sridharan, Martin T. Vechev |
| 2013 | OOPSLA | Effective race detection for event-driven programs. | Veselin Raychev, Martin T. Vechev, Manu Sridharan |
| 2013 | SAS | Predicate Abstraction for Relaxed Memory Models. | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
| 2013 | SAS | Automatic Synthesis of Deterministic Concurrency. | Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2012 | PLDI | Dynamic synthesis for relaxed memory models. | Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav |
| 2012 | PLDI | Race detection for web applications. | Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby |
| 2012 | PLDI | Scalable and precise dynamic datarace detection for structured parallelism. | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | Asynchronous assertions. | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | Sprint: speculative prefetching of remote data. | Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
| 2011 | OOPSLA | Testing atomicity of composed concurrent operations. | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
| 2011 | PLDI | Partial-coherence abstractions for relaxed memory models. | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
| 2011 | POPL | 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 |
| 2010 | FMCAD | Automatic inference of memory fences. | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
| 2010 | PODC | Verifying linearizability with hindsight. | Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2010 | POPL | Abstraction-guided synthesis of synchronization. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2010 | RV | Efficient Data Race Detection for Async-Finish Parallelism. | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2010 | SAS | Automatic Verification of Determinism for Structured Parallel Programs. | Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar |
| 2009 | PLDI | Chameleon: adaptive selection of collections. | Ohad Shacham, Martin T. Vechev, Eran Yahav |
| 2009 | PPoPP | Idempotent work stealing. | Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat |
| 2009 | TACAS | Inferring Synchronization under Limited Observability. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2008 | OOPSLA | QVM: an efficient runtime for detecting defects in deployed systems. | Matthew Arnold, Martin T. Vechev, Eran Yahav |
| 2008 | PLDI | Deriving linearizable fine-grained concurrent objects. | Martin T. Vechev, Eran Yahav |
| 2007 | PLDI | CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
| 2006 | PLDI | Correctness-preserving derivation of concurrent garbage collection algorithms. | Martin T. Vechev, Eran Yahav, David F. Bacon |
| 2005 | ECOOP | Derivation and Evaluation of Concurrent Collectors. | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
| 2005 | EMSOFT | 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 |