LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

The Z3 Theorem Prover

Record and Replay Framework

High-speed Large Language Model Serving for Local Deployment

The BusTub Relational Database Management System (Educational)

Optimized primitives for collective multi-GPU communication

KLEE Symbolic Execution Engine

ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

S2E: A platform for multi-path program analysis with selective symbolic execution.

Fuzz anything with Program Environment Fuzzing

Dynolog is a telemetry daemon for performance monitoring and tracing. It exports metrics from different components in the system like the linux kernel, CPU, disks, Intel PT, GPUs etc. Dynolog also …

ScyllaDB fault injection filesystem

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

Application-Integrated Record-Replay of Distributed Systems

S2E guest utilities

Here are some steps to build S2E and Chef from scratch.