JHU-PL-Lab's repositories
odefa-proof-of-concept
Proof of concept of DDPA, a form of program analysis
odefa
An ARCHIVED implementation of DDPA and related program analyses. This repository was split into separate projects when it became apparent that the related analyses would not be merged back into the DDPA branch. See the "ddpa", "ddse", and "sato" repositories in this organization.
layout-types
Layout Type Theory
pdr-programming
A metaprogramming library which generates regular PDS descriptions based upon user-written straight-line code.
pds-reachability
A library for performing efficient reachability queries on abstractly specified push-down systems.
toy-language
A common basis for toy language development using a simple, shallow ANF
toy-language-dr
A derivative of the toy-language repository which has "proper" deep records rather than shallow records.
representation-types
Representation Types Implementation