theTrident

listdb

ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory

pulpino

An open-source microcontroller system based on RISC-V

micro-arch-training

How to make undergraduates or new graduates ready for advanced computer architecture research or modern CPU design

syscall_intercept

The system call intercepting library

dma_ip_drivers

Xilinx QDMA IP Drivers

how2heap

A repository for learning various heap exploitation techniques.

18-847B-F22

18-847B: Modern Computer Systems (Fall 2022)

radius2

radius2 is a fast binary emulation and symbolic execution framework using radare2

opensbi

RISC-V Open Source Supervisor Binary Interface

demikernel

Kernel-Bypass LibOS Architecture

UCAS_algorithm_course

Algorithm course at UCAS

CXLMemSim

A place to store the CXL simulator

chibicc

A small C compiler

ChampSim

ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time

ostep-code

Code from various chapters in OSTEP (http://www.ostep.org)

ostep-projects

Projects for an undergraduate OS course

ostep-homework

sigmaos

confidential-computing-resources

clusterfuzz

Scalable fuzzing infrastructure.

verifiable-controllers

This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

verus

Verified Rust for low-level systems code

ctf

Exploits for interesting CTF challenges I have worked on

dlmalloc_nonreuse

triton

Development repository for the Triton language and compiler

firecracker

Secure and fast microVMs for serverless computing.

conffuzz

ConfFuzz - Fuzzing for Interface Vulnerabilities

TriCache

A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs

CacheWarp

Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 2024)