Bembenek, Aaron

1. FormuLog: Datalog for static analysis involving logical formulae
   2018/09/17 by Aaron Bembenek, Stephen Chong, Bembenek, Aaron +1 · 1 voice
   Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
2. Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
   2020/09/17 by Bembenek, Aaron, Greenberg, Michael, Chong, Stephen · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
   2024/08/26 by Aaron Bembenek, Bembenek, Aaron, Michael Greenberg +3 · 1 citation
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Programming Languages (cs.PL)