Aaron Bembenek

According to our database, Aaron Bembenek authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation.

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proc. ACM Program. Lang., 2024

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version).

Aaron Bembenek, Michael Greenberg, Stephen Chong

CoRR, 2024

Symbol Correctness in Deep Neural Networks Containing Symbolic Layers.

Aaron Bembenek, Toby Murray

CoRR, 2024

2023

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

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proc. ACM Program. Lang., January, 2023

2022

Formulog: Datalog + SMT + FP.

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2020

Formulog: Datalog for SMT-based static analysis.

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proc. ACM Program. Lang., 2020

Formulog: Datalog for SMT-Based Static Analysis (Extended Version).

Aaron Bembenek, Michael Greenberg, Stephen Chong

CoRR, 2020

2019

Going into Greater Depth in the Quest for Hidden Frames.

João Gonçalves, Aaron Bembenek, Pedro Martins, Amílcar Cardoso

Proceedings of the Tenth International Conference on Computational Creativity, 2019

2018

FormuLog: Datalog for static analysis involving logical formulae.

Aaron Bembenek, Stephen Chong

CoRR, 2018