About me
I am a postdoc in the Secure, Reliable, and Intelligent Systems Lab at the Computer Science Department at ETH Zurich. My research interests span program synthesis, machine learning, security, and computer networks. In Fall 2019, I joined the Electrical Engineering Department at the Technion as a tenure-track assistant professor. See here my new webpage.Education
2011-2017: PhD in Computer Science, Thesis: Exact Programming by Example, direct-track to PhD. Computer Science Department, Technion.
2009-2011: BSc in Computer Science, graduated summa cum laude. Computer Science Department, Technion.
Awards
ETH Postdoctoral Fellow The Jacobs fellowship for PhD students The Zeff fellowship for PhD students The Muriel and David Jacknow Prize for excellence in teaching
Publications
2020
Config2Spec: Mining Network Specifications from Network Configurations
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI
2020
2021 IETF/IRTF Applied Networking Research Prize
2021 IETF/IRTF Applied Networking Research Prize
VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
IEEE S&P
2020
2019
DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunović, 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
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
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
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
ACM PPoPP
2018
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
ACM RecSys
2015
2014
Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev and Eran Yahav
ACM PPoPP
2014
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
Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev and Eran Yahav
ACM PPoPP
2014