Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin Vechev
ACM CCS 2018
DEBIN: Predicting Debug Information in Stripped Binaries
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev
ACM CCS 2018
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS 2018
Fast Numerical Program Analysis with Reinforcement Learning
Gagandeep Singh, Markus Püschel, Martin Vechev
CAV 2018
Training Neural Machines with Trace-Based Supervision
Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevich, Timon Gehr, Martin Vechev
ICML 2018
Inferring Crypto API Rules from Code Changes
Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev
PLDI 2018
Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
PLDI 2018
Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI 2018
Static Serializability Analysis for Causal Consistency
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
PLDI 2018
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
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
NSDI 2018
Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2018
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP 2018
Practical Concurrent Traversals in Search Trees
Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav
ACM PPoPP 2018
A Practical Construction for Decomposing Numerical Abstract Domains
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM POPL 2018
Automatic Verification of RMA Programs via Abstraction Extrapolation
Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev
VMCAI 2018
Fast Polyhedra Abstract Domain
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM POPL 2017
Synthesis of Probabilistic Privacy Enforcement
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin Vechev
ACM CCS 2017
Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
CAV 2017
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts
Andrei Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin Vechev
CAV 2017
Learning Disjunctions of Predicates
Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav
COLT 2017
Serializability for Eventual Consistency: Criterion, Analysis, and Applications
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
ACM POPL 2017
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
CAV 2017
Program Synthesis for Character Level Language Modeling
Pavol Bielik, Veselin Raychev, Martin Vechev
ICLR 2017
Functionality-Aware Security Enforcement
Petar Tsankov, Marco Pistoia, Omer Tripp, Martin Vechev, Pietro Ferrara
ACM ACSAC 2016
Probabilistic Model for Code with Decision Trees
Veselin Raychev, Pavol Bielik, Martin Vechev
ACM OOPSLA 2016
Learning Programs from Noisy Data
Veselin Raychev, Pavol Bielik, Martin Vechev, Andreas Krause
ACM POPL 2016
PSI: Exact Symbolic Inference for Probabilistic Programs
Timon Gehr, Sasa Misailovic, Martin Vechev
CAV 2016
SDNRacer: Concurrency Analysis for Software-Defined Networks
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev
ACM PLDI 2016
Modeling and Analysis of Remote Memory Access Programming
Andrei Dan, Patrick Lam, Torsten Hoefler, Martin Vechev
ACM OOPSLA 2016
PHOG: Probabilistic Model for Code
Pavol Bielik, Veselin Raychev, Martin Vechev
ACM ICML 2016
Statistical Deobfuscation of Android Applications
Benjamin Bichsel, Veselin Raychev, Peter Tsankov, Martin Vechev
ACM CCS 2016
Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM PLDI 2015
Predicting Program Properties from "Big Code"
Veselin Raychev, Martin Vechev, Andreas Krause
ACM POPL 2015
An Interactive System for Data Structure Development
Jibin Ou, Otmar Hilliges, Martin Vechev
ACM CHI 2015
SDNRacer: Detecting Concurrency Violations in Software-Defined Networks
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev
SOSR 2015
Stateless Model Checking of Event-Driven Applications
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA 2015
Learning Commutativity Specifications
Timon Gehr, Dimitar Dimitrov, Martin Vechev
CAV 2015
Race Detection in Two Dimensions
Dimitar Dimitrov, Martin Vechev, Vivek Sarkar
ACM SPAA 2015
Effective Abstractions for Verification under Relaxed Memory Models
Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav
VMCAI 2015
Scalable Race Detection for Android Applications
Pavol Bielik, Veselin Raychev, Martin Vechev
ACM OOPSLA 2015
Programming with Big Code: Lessons, Techniques and Applications
Pavol Bielik, Veselin Raychev, Martin Vechev
SNAPL 2015
Verifying Atomicity via Data Independence
Ohad Shacham, Eran Yahav, Guy Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv and Martin Vechev
ISSTA 2014
Code Completion with Statistical Language Models
Veselin Raychev, Martin Vechev, Eran Yahav
ACM PLDI 2014
Synthesis of Memory Fences via Refinement Propagation
Yuri Meshman, Andrei Dan, Martin Vechev, Eran Yahav
SAS 2014
Phrase-Based Statistical Translation of Programming Languages
Svetoslav Karaivanov, Veselin Raychev, Martin Vechev
Onward 2014
Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev and Eran Yahav
ACM PPoPP 2014
Commutativity Race Detection
Dimitar Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen
ACM PLDI 2014
Refactoring with Synthesis
Veselin Raychev, Max Schaefer, Manu Sridharan, Martin Vechev
ACM OOPSLA 2013
Effective Race Detection for Event-Driven Programs
Veselin Raychev, Martin Vechev, Manu Sridharan
ACM OOPSLA 2013
Automatic Synthesis of Deterministic Concurrency
Veselin Raychev, Martin Vechev, Eran Yahav
Static Analysis Symposium (SAS) 2013
Predicate Abstraction for Relaxed Memory Models
Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav
Static Analysis Symposium (SAS) 2013
Scalable and Precise Dynamic Datarace Detection for Structured Parallelism
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav
ACM PLDI 2012
Race Detection for Web Applications
Boris Petrov, Martin Vechev, Manu Sridharan, Julian Dolby
ACM PLDI 2012
Dynamic Synthesis for Relaxed Memory Models
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin Vechev, Eran Yahav
ACM PLDI 2012
Testing Atomicity of Composed Concurrent Operations
Ohad Shacham, Nathan Bronson, Alex Aiken, Mooly Sagiv, Martin Vechev and Eran Yahav
ACM OOPSLA 2011
Sprint: Speculative Prefetching of Remote Data
Arun Raman, Greta Yorsh, Martin Vechev and Eran Yahav
ACM OOPSLA 2011
Partial-Coherence Abstractions for Relaxed Memory Models
Michael Kuperstein, Martin Vechev and Eran Yahav
ACM PLDI 2011
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
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
Asynchronous Assertions
Eddie Aftandilian, Samuel Guyer, Martin Vechev and Eran Yahav
ACM OOPSLA 2011
Parallel Checking of Expressive Heap Assertions
Martin Vechev, Eran Yahav and Greta Yorsh
ACM ISMM 2010
Automatic Verification of Determinism for Structured Parallel Programs
Martin Vechev, Eran Yahav, Raghavan Raman and Vivek Sarkar
Static Analysis Symposium (SAS) 2010
Abstraction-Guided Synthesis Of Synchronization
Martin Vechev, Eran Yahav and Greta Yorsh
ACM POPL 2010
Efficient Data Race Detection for Async-Finish Parallelism
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev and Eran Yahav
Runtime Verification (RV) 2010 Best Paper Award
Verifying Linearizability with Hindsight
Peter O'Hearn, Noam Rinetzky, Martin Vechev, Eran Yahav and Greta Yorsh
ACM PODC 2010
Automatic Inference of Memory Fences
Michael Kuperstein, Martin Vechev and Eran Yahav
Formal Methods in Computer Aided Design (FMCAD) 2010
Inferring Synchronization under Limited Observability
Martin Vechev, Eran Yahav, Greta Yorsh
TACAS 2009
Experience with Model Checking Linearizability
Martin Vechev, Eran Yahav, Greta Yorsh
SPIN 2009
Chameleon: Adaptive Selection of Collections
Ohad Shacham, Martin Vechev, Eran Yahav
ACM PLDI 2009
Idempotent Work Stealing
Maged Michael, Martin Vechev, Vijay Saraswat
ACM PPoPP 2009
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
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
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
Mathew Arnold, Martin Vechev, Eran Yahav
ACM OOPSLA 2008
CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
Martin Vechev, Eran Yahav, David F. Bacon and Noam Rinetzky
ACM PLDI 2007
Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms
Martin Vechev, Eran Yahav, David F. Bacon
ACM PLDI 2006
CDerivation And Evaluation Of Concurrent Collectors
Martin Vechev, David F. Bacon, Perry Cheng, David Grove
ECOOP 2005
Syncopation: Generational Real-time Garbage Collection in the Metronome
David F. Bacon, Perry Cheng, David Grove, Martin Vechev
ACM LCTES 2005
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
Write Barrier Elision for Concurrent Garbage Collectors
Martin Vechev and David F. Bacon
ACM ISMM 2004
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