Detect concurrency and memory bugs and possible panic locations in Rust projects

SC-Bench

Stateful LLM Serving

Inference Llama 2 in one file of pure C

Detect concurrency and memory bugs and possible panic locations in Rust projects

A tool for effective testing the binding layer of scripting languages

an input-sensitive profiler

Fuzzing concurrent Go programs

code snippets for

Code and Data Repository for Understanding Fraudulent online Survey Takers

Writing an OS in Rust

C to Rust translator

Collected Concurrency Bugs in Our ASPLOS Paper

profiling program complexity in production runs

Steev's MIDI Library is a pure C library to handle the MIDI protocol, as well as providing code to read and write standards-compliant MIDI files. This provides code functionality for apps wishing t…

LDoctor

A programmer-oriented testing framework for Java — ⚠️ maintenance mode