SysFlow documentation and issues tracker

Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators

Display and control your Android device

A high-throughput and memory-efficient inference and serving engine for LLMs

The Vellvm (Verified LLVM) coq development.

Run compilers interactively from your web browser and interact with the assembly

Intentionally vulnerable Node server!

All the papers I've read since 2017. I probably read papers before then too, but I did a paper purge in Jan 2017 and they have been accumulating again ever since.

Serverless Examples – A collection of boilerplates and examples of serverless architectures built with the Serverless Framework on AWS Lambda, Microsoft Azure, Google Cloud Functions, and more.

HOPE Software Toolchain

Apple hardware secrets

DIY Vacuum Robot project

Code for LLVM Tutorial

Hodor-PKU

Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

reverse engineering of sfll

A tool for analyzing x86-64 binaries.

SALT - SLUB ALlocator Tracer for the Linux kernel

The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.

a tiny tutorial on how to use debugfs in a Linux kernel module

Memoro: A Detailed Heap Profiler

Interactive Control Flow Graph Visualization.

Experimental KVM-based VMM for containers, written in Go.

kR^X: Comprehensive Kernel Protection Against Just-In-Time Code Reuse

an R package which converts markdown files (.md, .Rmd) into mindmaps (brainstorms)

Generating Concept Maps from Plaintext Notes

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

A toolkit for building secure, portable and lean operating systems for containers

Open-source release for MemSentry (EuroSys'17)