publications

2026

1. NFM

   Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving

   Aaron Bembenek and Toby Murray

   In 18th NASA Formal Methods Symposium (NFM 2026), 2026

   arXiv Bib

   @inproceedings{bembenek2026bvchc,
     author = {Bembenek, Aaron and Murray, Toby},
     title = {Bit-Vector {CHC} Solving for Binary Analysis and Binary Analysis for Bit-Vector {CHC} Solving},
     booktitle = {18th NASA Formal Methods Symposium (NFM 2026)},
     year = {2026},
   }

2025

1. arXiv

   Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can Do Better

   Aaron Bembenek

   2025

   Presented at the 1st International Workshop on Language Models and Programming Languages (LMPL 2025)

   arXiv Bib

   @misc{bembenek2025lmpl,
     author = {Bembenek, Aaron},
     title = {Current Practices for Building {LLM}-Powered Reasoning Tools Are Ad Hoc---and We Can Do Better},
     year = {2025},
     note = {Presented at the 1st International Workshop on Language Models and Programming Languages (LMPL 2025)},
   }

2024

1. OOPSLA

   Making Formulog Fast: An Argument for Unconventional Datalog Evaluation

   Aaron Bembenek, Michael Greenberg, and Stephen Chong

   Proceedings of the ACM on Programming Languages, 2024

   OOPSLA Distinguished Artifact arXiv Bib PDF Code

   Distinguished Artifact

   @article{bembenek2024formulog,
     author = {Bembenek, Aaron and Greenberg, Michael and Chong, Stephen},
     title = {Making {Formulog} Fast: An Argument for Unconventional {Datalog} Evaluation},
     journal = {Proceedings of the ACM on Programming Languages},
     volume = {8},
     number = {OOPSLA2},
     year = {2024},
   }

2023

1. PhD Thesis

   Combining Datalog and SAT-Based Solving in Code-Reasoning Tools

   Aaron Bembenek

   Harvard University, 2023

   Bib HTML

   @phdthesis{bembenek2023dissertation,
     author = {Bembenek, Aaron},
     title = {Combining {Datalog} and {SAT}-Based Solving in Code-Reasoning Tools},
     school = {Harvard University},
     year = {2023},
   }

2. POPL

   From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems

   Aaron Bembenek, Michael Greenberg, and Stephen Chong

   Proceedings of the ACM on Programming Languages, 2023

   Bib PDF Code

   @article{bembenek2023datalogsynth,
     author = {Bembenek, Aaron and Greenberg, Michael and Chong, Stephen},
     title = {From {SMT} to {ASP}: Solver-Based Approaches to Solving {Datalog} Synthesis-as-Rule-Selection Problems},
     journal = {Proceedings of the ACM on Programming Languages},
     volume = {7},
     number = {POPL},
     year = {2023},
   }

2022

1. Datalog 2.0

   Formulog: Datalog + SMT + FP

   Aaron Bembenek, Michael Greenberg, and Stephen Chong

   In 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022), 2022

   Bib PDF

   @inproceedings{bembenek2022formulogdatalog,
     author = {Bembenek, Aaron and Greenberg, Michael and Chong, Stephen},
     title = {{Formulog}: {Datalog} + {SMT} + {FP}},
     booktitle = {4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022)},
     year = {2022},
   }

2020

1. OOPSLA

   Formulog: Datalog for SMT-Based Static Analysis

   Aaron Bembenek, Michael Greenberg, and Stephen Chong

   Proceedings of the ACM on Programming Languages, 2020

   arXiv Bib PDF Video Code

   @article{bembenek2020formulog,
     author = {Bembenek, Aaron and Greenberg, Michael and Chong, Stephen},
     title = {{Formulog}: {Datalog} for {SMT}-Based Static Analysis},
     journal = {Proceedings of the ACM on Programming Languages},
     volume = {4},
     number = {OOPSLA},
     year = {2020},
   }

2. ICLP

   Datalog-Based Systems Can Use Incremental SMT Solving (Extended Abstract)

   Aaron Bembenek, Michael Ballantyne, Michael Greenberg, and 1 more author

   In 36th International Conference on Logic Programming (ICLP 2020), 2020

   Bib PDF Video

   @inproceedings{bembenek2020datalogincr,
     author = {Bembenek, Aaron and Ballantyne, Michael and Greenberg, Michael and Amin, Nada},
     title = {Datalog-Based Systems Can Use Incremental {SMT} Solving (Extended Abstract)},
     booktitle = {36th International Conference on Logic Programming (ICLP 2020)},
     year = {2020},
   }

2019

1. ICCC

   Going Into Greater Depth in the Quest for Hidden Frames (Late-Breaking Paper)

   João Gonçalves, Aaron Bembenek, Pedro Martins, and 1 more author

   In 10th International Conference on Computational Creativity (ICCC 2019), 2019

   Bib PDF

   @inproceedings{goncalves2019frames,
     author = {Gonçalves, João and Bembenek, Aaron and Martins, Pedro and Cardoso, Amílcar},
     title = {Going Into Greater Depth in the Quest for Hidden Frames (Late-Breaking Paper)},
     booktitle = {10th International Conference on Computational Creativity (ICCC 2019)},
     year = {2019},
   }

2018

1. JETLaw

   Differential Privacy: A Primer for a Non-Technical Audience

   Alexandra Wood, Micah Altman, Aaron Bembenek, and 7 more authors

   Vanderbilt Journal of Entertainment & Technology Law, 2018

   Bib PDF

   @article{wood2018dpprimmer,
     author = {Wood, Alexandra and Altman, Micah and Bembenek, Aaron and Bun, Mark and Gaboardi, Marco and Honaker, James and Nissim, Kobbi and O'Brien, David R. and Steinke, Thomas and Vadhan, Salil},
     title = {Differential Privacy: A Primer for a Non-Technical Audience},
     journal = {Vanderbilt Journal of Entertainment \& Technology Law},
     year = {2018},
   }

2. JOLT

   Bridging the Gap between Computer Science and Legal Approaches to Privacy

   Kobbi Nissim, Aaron Bembenek, Alexandra Wood, and 5 more authors

   Harvard Journal of Law & Technology, 2018

   2019 Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies Bib PDF

   Caspar Bowden Award

   @article{nissim2018bridging,
     author = {Nissim, Kobbi and Bembenek, Aaron and Wood, Alexandra and Bun, Mark and Gaboardi, Marco and Gasser, Urs and O'Brien, David R. and Vadhan, Salil},
     title = {Bridging the Gap between Computer Science and Legal Approaches to Privacy},
     journal = {Harvard Journal of Law \& Technology},
     year = {2018},
   }