| Differential Privacy: A Primer for a Non-Technical Audience A Wood, M Altman, A Bembenek, M Bun, M Gaboardi, J Honaker, ... Vand. J. Ent. & Tech. L. 21, 209, 2018 | 306 | 2018 |
| Bridging the gap between computer science and legal approaches to privacy K Nissim, A Bembenek, A Wood, M Bun, M Gaboardi, U Gasser, D O’Brien, ... Harvard Journal of Law & Technology 31, 2017 | 94 | 2017 |
| Formulog: Datalog for SMT-based static analysis A Bembenek, M Greenberg, S Chong Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 34 | 2020 |
| From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems A Bembenek, M Greenberg, S Chong Proceedings of the ACM on Programming Languages 7 (POPL), 185-217, 2023 | 9 | 2023 |
| Formulog: Datalog for SMT-Based Static Analysis (Extended Version) A Bembenek, M Greenberg, S Chong arXiv preprint arXiv:2009.08361, 2020 | 2 | 2020 |
| Datalog-Based Systems Can Use Incremental SMT Solving A Bembenek, M Ballantyne, M Greenberg, N Amin International Conference on Logic Programming, 2020 | 2 | 2020 |
| Going Into Greater Depth in the Quest for Hidden Frames J Gonçalves, A Bembenek, P Martins, A Cardoso Proceedings of the 10th International Conference on Computational Creativity …, 2019 | 2 | 2019 |
| FormuLog: Datalog for static analysis involving logical formulae A Bembenek, S Chong arXiv preprint arXiv:1809.06274, 2018 | 2 | 2018 |
| Symbol Correctness in Deep Neural Networks Containing Symbolic Layers A Bembenek, T Murray arXiv preprint arXiv:2402.03663, 2024 | 1 | 2024 |
| Combining Datalog and SAT-Based Solving in Code-Reasoning Tools A Bembenek Harvard University, 2023 | | 2023 |
| Formulog: Datalog + SMT + FP A Bembenek, M Greenberg, S Chong Datalog 2.0, 2022 | | 2022 |
