Coz: Causal Profiling

A tracing library 10~100x faster than others.

Coinbase MPC Library

Untrusted IPC with maximum performance and minimum latency. On Rust, on Linux.

The `io_uring` library for Rust

Redis re-implemented in Rust.

Incomplete Redis client and server implementation using Tokio - for learning purposes only

Educational database system developed at Georgia Tech

AllReduce is an operation that reduces the target arrays in all processes to a single array and returns the resultant array to all processes.  In this project, I implemented SUM AllReduce (Commonly…

A Microservice Toolkit from The New York Times

Blueprint Microservices Compiler: Flexible and Configurable Open-Source Microservice Benchmark Applications

Repository for the SOSP 2024 Blueprint tutorial

Mirror of the official Barrelfish OS repository.

Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices

Checkpoint/Restore tool

💫 Extensible UI for Neovim notifications and LSP progress messages.

帮助新手参与开源

ebpfkit is a rootkit powered by eBPF

An educational C-like toy programming language that compiles to x64 binary.

Verifying the Rust standard library

A caching framework for microservice applications

LMP provides an eBPF Supermarket for developers, including eBPF tools, open-source projects based on eBPF, eBPF learning materials, Linux kernel learning materials, and more.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Novel implementation of a Trie data structure optimized for small, sparse maps

succinct static kv

5140 Dirigent: Lightweight Serverless Orchestration

Stellux operating system is my research operating system project inspired by Symbiote's philosophy of providing runtime privilege level switching for userspace threads.

The lightest distributed consensus library. Run your own replicated state machine! ❤️

eBPF Tutorial for class EECS6891 (eBPF Seminar) - Columbia University Spring 2024