projects/kcrashlab
KCrashLab
Systems reliabilityEvidence freeze
A simulation-first research platform for deterministic, reproducible Windows driver reliability experiments. It normalizes cases, resumes interrupted campaigns, minimizes exact-signature triggers, and produces independently verifiable evidence bundles.
Evidence
Canonical Case IR, seeded scheduling, an append-only SQLite journal, exact signatures, 3/3 simulated replay, recorded G3, E1, E2, and minimization artifacts, semantic verification, and multi-platform CI.
This is a lightweight page for sharing. The full, interactive version lives in the terminal portfolio.