Aaron Bembenek | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Stephen Chong
12 publications
Michael Greenberg
10 publications

research

∙ 09/17/2020

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

Satisfiability modulo theories (SMT) solving has become a critical part ...

0 Aaron Bembenek, et al. ∙

research

∙ 09/17/2018

FormuLog: Datalog for static analysis involving logical formulae

Datalog has become a popular language for writing static analyses. Becau...

0 Aaron Bembenek, et al. ∙