Pinned Repositories
aaronbembenek.github.io
Aaron Bembenek's personal website
cs252r
cs260r-17
Main repository for Harvard CS260r 2017.
formulog-fork
Datalog with support for SMT queries
prov-compress
Provenance graph compression.
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
verified-auto-enclave
Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.
formulog
Datalog with support for SMT queries and first-order functional programming
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
eldarica
The Eldarica model checker
aaronbembenek's Repositories
aaronbembenek/verified-auto-enclave
Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.
aaronbembenek/cs252r
aaronbembenek/prov-compress
Provenance graph compression.
aaronbembenek/aaronbembenek.github.io
Aaron Bembenek's personal website
aaronbembenek/cs260r-17
Main repository for Harvard CS260r 2017.
aaronbembenek/formulog-fork
Datalog with support for SMT queries
aaronbembenek/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.