Skip to content

@JHU-PL-Lab JHU-PL-Lab

Change the repository type filter

All

    Repositories list

    21 repositories

    • www-fpse

      Public
      HTML
      •0•0•0•0•Updated Aug 8, 2025Aug 8, 2025

    • jaylang

      Public
      An implementation of semantic-type-guided bug finding
      OCaml
      •
      MIT License
      •3•9•5•1•Updated Aug 7, 2025Aug 7, 2025

    • www-pl

      Public
      HTML
      •0•0•0•0•Updated May 7, 2025May 7, 2025

    • www-pl-lab

      Public
      Ruby
      •0•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • www-pl2

      Public
      TeX
      •0•0•0•0•Updated Aug 16, 2024Aug 16, 2024

    • dde

      Public
      Pure Demand Operational Semantics
      interpreterocamlcoqprogram-analysisabstract-interpretationoperational-semantics
      OCaml
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•5•0•0•Updated Apr 17, 2024Apr 17, 2024

    • pds-reachability

      Public
      A library for performing efficient reachability queries on abstractly specified push-down systems.
      OCaml
      •0•2•0•0•Updated Oct 18, 2023Oct 18, 2023

    • ddpa

      Public
      An implementation of DDPA, a higher-order demand-driven program analysis.
      Scheme
      •0•2•0•0•Updated Oct 13, 2023Oct 13, 2023

    • jhupllib

      Public
      An OCaml library of common tools and utilities.
      OCaml
      •
      Apache License 2.0
      •0•2•0•0•Updated Oct 13, 2023Oct 13, 2023

    • sato

      Public
      Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
      OCaml
      •0•3•0•0•Updated Nov 18, 2022Nov 18, 2022

    • representation-types

      Public
      Representation Types Implementation
      OCaml
      •
      Creative Commons Attribution 4.0 International
      •0•0•0•0•Updated Jun 23, 2021Jun 23, 2021

    • odefa

      Public archive
      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.
      Scheme
      •4•4•2•0•Updated Jul 22, 2020Jul 22, 2020

    • analysis-test-code

      Public
      Java
      •0•0•0•0•Updated Aug 15, 2019Aug 15, 2019

    • layout-types

      Public archive
      Layout Type Theory
      OCaml
      •0•2•0•0•Updated Dec 31, 2018Dec 31, 2018

    • CoPylot

      Public archive
      Experimental repository for the application of DDPA-like analysis to a subset of Python.
      OCaml
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Aug 27, 2018Aug 27, 2018

    • pdr-programming

      Public archive
      A metaprogramming library which generates regular PDS descriptions based upon user-written straight-line code.
      OCaml
      •1•2•0•0•Updated Aug 17, 2018Aug 17, 2018

    • big-bang

      Public archive
      Big Bang source repository
      OCaml
      •
      Other
      •1•5•0•0•Updated Jan 27, 2017Jan 27, 2017

    • odefa-proof-of-concept

      Public archive
      Proof of concept of DDPA, a form of program analysis
      OCaml
      •
      Other
      •0•6•0•0•Updated May 4, 2016May 4, 2016

    • whayrf

      Public archive
      Proof-of-concept implementation of function patterns
      OCaml
      •0•4•0•0•Updated Mar 29, 2016Mar 29, 2016

    • toy-language-dr

      Public archive
      A derivative of the toy-language repository which has "proper" deep records rather than shallow records.
      OCaml
      •0•2•0•0•Updated Mar 29, 2016Mar 29, 2016

    • toy-language

      Public archive
      A common basis for toy language development using a simple, shallow ANF
      OCaml
      •0•2•1•0•Updated Mar 29, 2016Mar 29, 2016