whentojump
Ph.D. student @xlab-uiuc. Prev SJTU. Intern @efeslab. Computer science, systems.
Urbana, IL
Pinned Repositories
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
acto
Automatic Correctness E2E Testing for (Kubernetes/OpenShift) Operators
awesome-multiplication-tables
A tombstone in memory of all the programming languages I gave up halfway
cloudlab-startup-log
Tests
docker-miktex
the Docker image for running MiKTeX
gcc-play
GitHubSanitizer
Add "mark as read" buttons to your GitHub homepage news feed, and prevent ever-read items from being displayed again.
google-blocklist
Personalized (and aggressive) Google search blocklist
acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
linux-mcdc
Measure Linux kernel's modified condition/decision coverage (MC/DC)
whentojump's Repositories
whentojump/acto
Automatic Correctness E2E Testing for (Kubernetes/OpenShift) Operators
whentojump/awesome-multiplication-tables
A tombstone in memory of all the programming languages I gave up halfway
whentojump/cloudlab-startup-log
Tests
whentojump/docker-miktex
the Docker image for running MiKTeX
whentojump/gcc-play
whentojump/GitHubSanitizer
Add "mark as read" buttons to your GitHub homepage news feed, and prevent ever-read items from being displayed again.
whentojump/google-blocklist
Personalized (and aggressive) Google search blocklist
whentojump/kube-523
whentojump/linux-c-book
《Linux C 编程一站式学习》
whentojump/network-protocol-play
Random snippets when learning network protocols
whentojump/rust
Empowering everyone to build reliable and efficient software.
whentojump/sjtu-pt-connectivity
Illustration of pt.sjtu.edu.cn connectivity
whentojump/speedtest-over-https
Speedtest docker container that serves over HTTPS: a dumb, mostly hardwired implementation, just for easing my own deployment
whentojump/linux-play
Linux kernel source tree
whentojump/llvm-mcdc-assertion-failure
whentojump/llvm-play
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
whentojump/play-rust-analyzer
A Rust compiler front-end for IDEs
whentojump/redis-operator-cov
Redis Operator creates/configures/manages high availability redis with sentinel automatic failover atop Kubernetes.
whentojump/redis-ot-container-kit-operator-cov
A golang based redis operator that will make/oversee Redis standalone/cluster/replication/sentinel mode setup on top of the Kubernetes.
whentojump/SJTUBeamer
上海交通大学 Beamer 模版 | Beamer template for Shanghai Jiao Tong University
whentojump/user-scripts
whentojump/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
whentojump/xv6-public
xv6 OS