Aaron Bembenek

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Test Generation

Static Analysis

Symbolic Execution

Relational Query Languages

Top Venues

Proc. ACM Program. Lang.

Publications

Aaron Bembenek, Toby Murray
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers. CoRR (2024)
Aaron Bembenek, Michael Greenberg, Stephen Chong
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. Proc. ACM Program. Lang. 7 (POPL) (2023)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog + SMT + FP. Datalog (2022)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog for SMT-based static analysis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). CoRR (2020)
João Gonçalves, Aaron Bembenek, Pedro Martins, Amílcar Cardoso
Going into Greater Depth in the Quest for Hidden Frames. ICCC (2019)
Aaron Bembenek, Stephen Chong
FormuLog: Datalog for static analysis involving logical formulae. CoRR (2018)