github.com/JHU-PL-Lab/ddse ↗
An implementation of semantic-type-guided bug finding
An animated visualization of JHU-PL-Lab/ddse's Git history from June 2015 to April 2020, built by 10 contributors. The codebase reached 5,032 lines, mostly OCaml. The video runs 1 minute 23 seconds.
Render your own repo
Turn any GitHub repository into a video like this — free sample in seconds.
Open this visualization on its own page →
Language
OCaml
Contributors
10
Lines of Code
5,032
From
2015-06-15
To
2020-04-17
Advertisement
About JHU-PL-Lab/ddse
Jay Lang is an implementation of semantic-type-guided bug finding developed by the JHU Programming Languages Lab. The project centers around the BlueJay language, a programming language designed to detect bugs by leveraging semantic type information. The codebase includes a concolic evaluator that can analyze BlueJay programs to identify type errors and other bugs that violate semantic constraints.
The system includes comprehensive testing and benchmarking infrastructure, with a substantial test suite divided into well-typed and ill-typed programs. The concolic evaluator can operate in multiple modes and supports randomized evaluation for benchmarking purposes. The project provides both Docker and source-based installation options, with the latter using OCaml's opam package manager for dependency management. The research artifact corresponds to a paper titled "Semantic-Type-Guided Bug Finding" published at SPLASH-OOPSLA 2024.
The project is designed for developers and researchers interested in program verification and type systems. It includes extensive documentation for the BlueJay language itself, a VS Code syntax highlighter extension, and example programs throughout the test suite. The system is tested across multiple platforms including macOS, Ubuntu, and Windows via WSL, making it accessible to a broad audience of language implementation and program analysis researchers.
Advertisement