repositories

A curated collection of my system-level and backend engineering projects, focused on concurrency, distributed systems, memory management, and performance optimization. These include a sanitizer-clean Michael–Scott queue with hybrid memory reclamation, a crash-resilient UDP-based distributed file system, enhancements to the Harmony model checker, memory subsystem improvements for the egos-2000 RISC-V OS, lock-free concurrency work on FreeBSD’s Netgraph, and a fault-tolerant file migration tool with real-time telemetry. Each project emphasizes robustness, efficiency, and maintainability, with source code, documentation, and CI pipelines available for review.