Repositories list

• formulog

  Public
  Datalog with support for SMT queries and first-order functional programming

  static-analysissymbolic-executiondatalog+ 2

  static-analysissymbolic-executiondataloglogic-programmingsmt

  Java

  •

  Apache License 2.0

  •10•172•7•0•Updated Mar 23, 2026Mar 23, 2026

• cs152-lecture-code

  Public
  Code from CS152 lectures

  Jupyter Notebook

  •3•14•0•0•Updated Feb 27, 2026Feb 27, 2026

• datalog-synth-asp-prototype

  Public
  Prototype tool that synthesizes Datalog programs using ASP.

  Python

  •

  MIT License

  •0•1•0•0•Updated Jan 29, 2026Jan 29, 2026

• datalog-smmt-cvc4-impl

  Public
  Prototype SMT solver supporting Datalog as a monotonic theory

  SMT

  •

  MIT License

  •0•0•0•0•Updated Jan 29, 2026Jan 29, 2026

• datalog-smmt-z3-impl

  Public
  Datalog as a monotonic SMT theory, implemented as a Z3 user propagator

  C++

  •

  MIT License

  •0•0•0•0•Updated Jan 29, 2026Jan 29, 2026

• AbcDatalog

  Public
  Datalog that's as easy as ABC.

  rule-enginedataloglogic-programming+ 2

  rule-enginedataloglogic-programmingknowledge-basedeclarative-programming

  Java

  •

  Other

  •8•68•2•0•Updated Aug 20, 2025Aug 20, 2025

• formulog-syntax

  Public
  TextMate grammar file for Formulog used in VS Code

  Makefile

  •

  Apache License 2.0

  •0•2•0•0•Updated Oct 21, 2024Oct 21, 2024

• ASPSynth-Clingo

  Public
  Tool for Datalog synthesis-as-rule-selection that uses answer set programming (ASP)

  CMake

  •

  Apache License 2.0

  •0•1•0•0•Updated Nov 29, 2023Nov 29, 2023

• dminor-in-formulog

  Public
  A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.

  Java

  •

  Apache License 2.0

  •0•5•0•0•Updated Feb 17, 2023Feb 17, 2023

• datalog-synth-smt-asp-artifact

  Public
  Artifact for the paper "From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems"

  0•0•0•0•Updated Oct 5, 2022Oct 5, 2022

• Co-InflowPrototype

  Public
  Evaluation of Co-Inflow using IFSpec benchmark

  Java

  •

  MIT License

  •0•4•0•0•Updated Jun 2, 2021Jun 2, 2021

• CIFC

  Public
  Coarse-grained information flow control for Java

  Coq

  •

  MIT License

  •0•4•0•0•Updated Jun 1, 2021Jun 1, 2021

• dflamio

  Public
  DFLAMIO paper writing

  TeX

  •0•0•0•0•Updated Apr 15, 2019Apr 15, 2019

• shill

  Public
  Scripting with Least Privilege

  securitysandboxscripting-language

  securitysandboxscripting-language

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •2•110•1•0•Updated Jun 1, 2017Jun 1, 2017

• accrue-bytecode

  Public
  Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-…

  Java

  •0•8•0•0•Updated May 10, 2017May 10, 2017

• WALA-multithread-pointer

  Public
  T.J. Watson Libraries for Analysis

  Java

  •240•0•0•0•Updated Apr 5, 2017Apr 5, 2017

• cryptoerase

  Public
  Prototype compiler for cryptographic enforcement of language-based information erasure

  Java

  •

  Other

  •0•1•0•0•Updated Jun 25, 2015Jun 25, 2015

• ShillBSD

  Public
  FreeBSD with the necessary patches to run Shill

  C

  •

  Other

  •0•3•0•0•Updated Oct 4, 2014Oct 4, 2014