Publications

2020

Config2Spec: Mining Network Specifications from Network Configurations
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2020

VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
S&P 2020

2019

DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
ICML 2019

2018

Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin Vechev
CCS 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
CCS 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
S&P 2018

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2018

Practical Concurrent Traversals in Search Trees
Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav
PPoPP 2018

2017

Synthesis with Abstract Examples
Dana Drachsler-Cohen, Sharon Shoham, and Eran Yahav
CAV 2017

Learning Disjunctions of Predicates
Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav
COLT 2017

2015

ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations
Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, and Oren Somekh
RecSys 2015

2014

LCD: Local Combining on Demand
Dana Drachsler-Cohen and Erez Petrank
OPODIS 2014

Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev, and Eran Yahav
PPoPP 2014