| Securify: Practical security analysis of smart contracts P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 1154 | 2018 |
| Ai2: Safety and robustness certification of neural networks with abstract interpretation T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ... 2018 IEEE Symposium on Security and Privacy (SP), 3-18, 2018 | 1100 | 2018 |
| Verx: Safety verification of smart contracts A Permenev, D Dimitrov, P Tsankov, D Drachsler-Cohen, M Vechev 2020 IEEE Symposium on Security and Privacy (SP), 1661-1677, 2020 | 328 | 2020 |
| Dl2: Training and querying neural networks with logic M Fischer, M Balunovic, D Drachsler-Cohen, T Gehr, C Zhang, M Vechev International Conference on Machine Learning, 1931-1941, 2019 | 199 | 2019 |
| Practical concurrent binary search trees via logical ordering D Drachsler, M Vechev, E Yahav Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014 | 124 | 2014 |
| DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 77 | 2018 |
| {Config2Spec}: Mining network specifications from network configurations R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020 | 60 | 2020 |
| ExcUseMe: Asking users to help in item cold-start recommendations M Aharon, O Anava, N Avigdor-Elgrabli, D Drachsler-Cohen, S Golan, ... Proceedings of the 9th ACM Conference on Recommender Systems, 83-90, 2015 | 42 | 2015 |
| Net2Text: Query-Guided Summarization of Network Forwarding Behaviors R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18), 2018 | 37 | 2018 |
| Synthesis with Abstract Examples D Drachsler-Cohen, S Shoham, E Yahav International Conference on Computer Aided Verification, 254-278, 2017 | 31 | 2017 |
| Automatically converting spreadsheet tables to relational tables R Singh, S Gulwani, DD COHEN US Patent 10,599,627, 2020 | 20 | 2020 |
| Boosting robustness verification of semantic feature neighborhoods A Kabaha, D Drachsler-Cohen International Static Analysis Symposium, 299-324, 2022 | 10 | 2022 |
| Smart exploration methods for mitigating item cold-start problem in collaborative filtering recommendation systems OS Somekh, M Aharon, S Golan, N Avigdor-Elgrabli, DD Cohen US Patent 9,910,898, 2018 | 10 | 2018 |
| Smart exploration methods for mitigating item cold-start problem in collaborative filtering recommendation systems OS Somekh, M Aharon, S Golan, N Avigdor-Elgrabli, DD Cohen US Patent 9,910,898, 2018 | 10 | 2018 |
| Learning Disjunctions of Predicates NH Bshouty, D Drachsler-Cohen, M Vechev, E Yahav Proceedings of Machine Learning Research vol 65, 1-23, 2017 | 10 | 2017 |
| LCD: Local Combining on Demand D Drachsler-Cohen, E Petrank International Conference on Principles of Distributed Systems, 355-371, 2014 | 10 | 2014 |
| Deep Learning Robustness Verification for Few-Pixel Attacks Y Shapira, E Avneri, D Drachsler-Cohen Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 434-461, 2023 | 7 | 2023 |
| One Pixel Adversarial Attacks via Sketched Programs T Yuviler, D Drachsler-Cohen Proceedings of the ACM on Programming Languages 7 (PLDI), 1970-1994, 2023 | 4 | 2023 |
| Practical concurrent traversals in search trees D Drachsler-Cohen, M Vechev, E Yahav Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of …, 2018 | 4 | 2018 |
| Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization A Kabaha, D Drachsler-Cohen International Conference on Verification, Model Checking, and Abstract …, 2023 | 3 | 2023 |
