Pinned Repositories
big-bang
Big Bang source repository
CoPylot
Experimental repository for the application of DDPA-like analysis to a subset of Python.
dde
Pure Demand Operational Semantics
jaylang
An implementation of DDSE: a demand-driven symbolic evaluator.
jhupllib
An OCaml library of common tools and utilities.
layout-types
Layout Type Theory
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.
odefa-proof-of-concept
Proof of concept of DDPA, a form of program analysis
sato
Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
whayrf
Proof-of-concept implementation of function patterns
JHU-PL-Lab's Repositories
JHU-PL-Lab/jaylang
An implementation of DDSE: a demand-driven symbolic evaluator.
JHU-PL-Lab/odefa-proof-of-concept
Proof of concept of DDPA, a form of program analysis
JHU-PL-Lab/big-bang
Big Bang source repository
JHU-PL-Lab/dde
Pure Demand Operational Semantics
JHU-PL-Lab/whayrf
Proof-of-concept implementation of function patterns
JHU-PL-Lab/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.
JHU-PL-Lab/CoPylot
Experimental repository for the application of DDPA-like analysis to a subset of Python.
JHU-PL-Lab/ddpa
An implementation of DDPA, a higher-order demand-driven program analysis.
JHU-PL-Lab/jhupllib
An OCaml library of common tools and utilities.
JHU-PL-Lab/layout-types
Layout Type Theory
JHU-PL-Lab/pdr-programming
A metaprogramming library which generates regular PDS descriptions based upon user-written straight-line code.
JHU-PL-Lab/pds-reachability
A library for performing efficient reachability queries on abstractly specified push-down systems.
JHU-PL-Lab/sato
Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
JHU-PL-Lab/toy-language
A common basis for toy language development using a simple, shallow ANF
JHU-PL-Lab/toy-language-dr
A derivative of the toy-language repository which has "proper" deep records rather than shallow records.
JHU-PL-Lab/www-fpse
JHU-PL-Lab/www-pl
JHU-PL-Lab/www-pl-lab
JHU-PL-Lab/www-pl2
JHU-PL-Lab/analysis-test-code
JHU-PL-Lab/representation-types
Representation Types Implementation