Harvard Programming Languages Research

The repo of the Harvard PL research group

Pinned Repositories

AbcDatalog
Datalog that's as easy as ABC.
Language:Java46 3 68
accrue-bytecode
Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction analysis.
Language:Java7 7 01
CIFC
Coarse-grained information flow control for Java
Language:Coq4 4 00
Co-InflowPrototype
Evaluation of Co-Inflow using IFSpec benchmark
Language:Java4 2 00
cs152-lecture-code
Code from CS152 lectures
Language:Jupyter Notebook12 5 02
dminor-in-formulog
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.
Language:Java5 4 00
formulog
Datalog with support for SMT queries and first-order functional programming
Language:Java148 13 248
formulog-syntax
TextMate grammar file for Formulog used in VS Code
Language:Makefile2 6 00
shill
Scripting with Least Privilege
Language:C106 8 32
ShillBSD
FreeBSD with the necessary patches to run Shill
Language:C3 3 00

Harvard Programming Languages Research's Repositories

HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
Language:Java148 13 248
HarvardPL/shill
Scripting with Least Privilege
Language:C106 8 32
HarvardPL/AbcDatalog
Datalog that's as easy as ABC.
Language:Java46 3 68
HarvardPL/cs152-lecture-code
Code from CS152 lectures
Language:Jupyter Notebook12 5 02
HarvardPL/accrue-bytecode
Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction analysis.
Language:Java7 7 01
HarvardPL/dminor-in-formulog
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.
Language:Java5 4 00
HarvardPL/CIFC
Coarse-grained information flow control for Java
Language:Coq4 4 00
HarvardPL/Co-InflowPrototype
Evaluation of Co-Inflow using IFSpec benchmark
Language:Java4 2 00
HarvardPL/ShillBSD
FreeBSD with the necessary patches to run Shill
Language:C3 3 00
HarvardPL/formulog-syntax
TextMate grammar file for Formulog used in VS Code
Language:Makefile2 6 00
HarvardPL/ASPSynth-Clingo
Tool for Datalog synthesis-as-rule-selection that uses answer set programming (ASP)
Language:CMake1 4 0
HarvardPL/cryptoerase
Prototype compiler for cryptographic enforcement of language-based information erasure
Language:Java1 4 00
HarvardPL/datalog-synth-smt-asp-artifact
Artifact for the paper "From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems"
4 0
HarvardPL/dflamio
DFLAMIO paper writing
Language:TeX5 0
HarvardPL/WALA-multithread-pointer
T.J. Watson Libraries for Analysis
Language:Java4 0

Harvard Programming Languages Research

Pinned Repositories

AbcDatalog

accrue-bytecode

CIFC

Co-InflowPrototype

cs152-lecture-code

dminor-in-formulog

formulog

formulog-syntax

shill

ShillBSD

Harvard Programming Languages Research's Repositories

HarvardPL/formulog

HarvardPL/shill

HarvardPL/AbcDatalog

HarvardPL/cs152-lecture-code

HarvardPL/accrue-bytecode

HarvardPL/dminor-in-formulog

HarvardPL/CIFC

HarvardPL/Co-InflowPrototype

HarvardPL/ShillBSD

HarvardPL/formulog-syntax

HarvardPL/ASPSynth-Clingo

HarvardPL/cryptoerase

HarvardPL/datalog-synth-smt-asp-artifact

HarvardPL/dflamio

HarvardPL/WALA-multithread-pointer