| 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 | 350 | 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 | 97 | 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 | 40 | 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 | 13 | 2023 |
| Datalog-Based Systems Can Use Incremental SMT Solving A Bembenek, M Ballantyne, M Greenberg, N Amin International Conference on Logic Programming, 2020 | 4 | 2020 |
| Combining Datalog and SAT-Based Solving in Code-Reasoning Tools A Bembenek Harvard University, 2023 | 2 | 2023 |
| Formulog: Datalog for SMT-Based Static Analysis (Extended Version) A Bembenek, M Greenberg, S Chong arXiv preprint arXiv:2009.08361, 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 |
| Making Formulog Fast: An Argument for Unconventional Datalog Evaluation A Bembenek, M Greenberg, S Chong Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1219-1248, 2024 | 1 | 2024 |
| Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version) A Bembenek, M Greenberg, S Chong arXiv preprint arXiv:2408.14017, 2024 | 1 | 2024 |
| Symbol Correctness in Deep Neural Networks Containing Symbolic Layers A Bembenek, T Murray arXiv preprint arXiv:2402.03663, 2024 | 1 | 2024 |
| Formulog: Datalog + SMT + FP A Bembenek, M Greenberg, S Chong Datalog 2.0, 2022 | | 2022 |
