Yonghao Zou

No description provided.

A barebone operating system written in Java

No description provided.

No description provided.

A Zotero plugin for sending and retrieving files from a directory

My Blog

TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing

Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning

A recommendation system using Spark with online and offline recommendation

Create auto test cases and run tests.

Verified Rust for low-level systems code

A weread proxy for browser without JavaScript. 给没有 JavaScript 的浏览器开发的微信阅读代理服务。

No description provided.

本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。

BookLore is a self-hosted app for managing and reading books & comics (PDF, EPUB, CBZ) with metadata editing, OPDS, reading progress, and multi-user support.

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

A community preview of ongoing formal verification efforts for Asterinas

SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

No description provided.

The artifacts for my master's thesis "Verified Paging for x86-64 in Rust"

A Java port (still in development) of a KLEE like verifier

NAS媒体库自动化管理工具

MoviePilot插件库

Native DDNS Cloudflare agent for Synology DSM and SRM with support for multidomains and subdomains

Web browser engineering (a book)

backup some books

No description provided.

No description provided.

🗂️A file list program that supports multiple storage, powered by Gin and Solidjs. / 一个支持多存储的文件列表程序，使用 Gin 和 Solidjs。