Aaron Bembenek

11 papers C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving.
CoRR
Aaron Bembenek, Toby Murray
2025 J jnl
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc - and We Can Do Better.
CoRR
Aaron Bembenek
2024 J jnl
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version).
CoRR
Aaron Bembenek, Michael Greenberg, Stephen Chong
2024 J jnl
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation.
Proc. ACM Program. Lang.
Aaron Bembenek, Michael Greenberg, Stephen Chong
2024 J jnl
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers.
CoRR
Aaron Bembenek, Toby Murray
2023 J jnl
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems.
Proc. ACM Program. Lang.
Aaron Bembenek, Michael Greenberg, Stephen Chong
2022 — conf
Formulog: Datalog + SMT + FP.
Datalog
Aaron Bembenek, Michael Greenberg, Stephen Chong
2020 J jnl
Formulog: Datalog for SMT-Based Static Analysis (Extended Version).
CoRR
Aaron Bembenek, Michael Greenberg, Stephen Chong
2020 J jnl
Formulog: Datalog for SMT-based static analysis.
Proc. ACM Program. Lang.
Aaron Bembenek, Michael Greenberg, Stephen Chong
2019 C conf
Going into Greater Depth in the Quest for Hidden Frames.
ICCC
João Gonçalves, Aaron Bembenek, Pedro Martins, Amílcar Cardoso
2018 J jnl
FormuLog: Datalog for static analysis involving logical formulae.
CoRR
Aaron Bembenek, Stephen Chong