jiezhoucs

Jie Zhou jiezhoucs

64 followers · 66 following

https://jiezhoucs.github.io/

Achievements

Highlights

Organizations

Starred repositories

phate / jlm

C++ 69 15 Updated Jul 6, 2025

ARISTODE / program-dependence-graph

Program dependence graph in LLVM

C 38 18 Updated May 30, 2025

intel / yarpgen

Yet Another Random Program Generator

C++ 519 61 Updated May 12, 2025

ZJU-Automated-Reasoning-Group / lotus

Forked from qingkaishi/canary

Program analysis and verification framework

C++ 23 6 Updated Jun 14, 2025

plasma-umass / ChatDBG

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

Python 981 64 Updated Jun 23, 2025

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

C++ 144 16 Updated Jan 30, 2025

synercys / annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

TeX 3,861 219 Updated Jul 12, 2022

sharkdp / hyperfine

A command-line benchmarking tool

Rust 25,534 408 Updated May 1, 2025

sweirich / pi-forall

A demo implementation of a simple dependently-typed language

Haskell 593 92 Updated Nov 18, 2024

rust-lang / rust-bindgen

Automatically generates Rust FFI bindings to C (and some C++) libraries.

Rust 4,858 755 Updated Jun 18, 2025

rustanlys / rupta

A Pointer Analysis Framework for Rust

Rust 52 11 Updated Jun 17, 2025

seccompgeek / trust23-metsafe24

An implementation of Usenix Sec'24 MetaSafe on Usenix Sec'23 TRust

C++ 5 1 Updated Aug 16, 2024

lazypoline / lazypoline

The lazypoline syscall interposer

C++ 27 3 Updated May 4, 2025

nvzqz / divan

Fast and simple benchmarking for Rust projects

Rust 1,178 34 Updated Apr 17, 2025

bheisler / criterion.rs

Statistics-driven benchmarking library for Rust

Rust 5,116 338 Updated May 17, 2025

cssl-unist / trust-sec23

C++ 7 1 Updated Oct 22, 2024

microsoft / mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

C 11,689 964 Updated Jun 24, 2025

llsoftsec / llsoftsecbook

Low-Level Software Security for Compiler Developers

TeX 560 58 Updated Jul 3, 2025

dingelish / SGXfail

SGX从入门到放弃

350 58 Updated Apr 21, 2022

Whitecat18 / Rust-for-Malware-Development

This repository contains complete resources and coding practices for malware development using Rust 🦀.

Rust 2,535 102 Updated Jun 23, 2025

hxuhack / course_safepl

Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University

C 30 3 Updated May 6, 2025

XAMPPRocky / tokei

Count your code, quickly.

Rust 12,785 588 Updated Feb 24, 2025

gwsystems / systems_musings

Thoughts and links for unstructured chats about systems.

3 3 Updated Jun 4, 2025

travitch / whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

Python 713 131 Updated Dec 11, 2024

utmapp / UTM

Virtual machines for iOS and macOS

Swift 30,055 1,481 Updated Jul 6, 2025

google / crubit

Rust 835 51 Updated Jul 4, 2025

rui314 / chibicc

A small C compiler

C 10,413 951 Updated Oct 30, 2023

greenbellpepper / GreenPepper

894 119 Updated Jul 10, 2024

GaloisInc / yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

C 65 4 Updated Mar 1, 2025

s-arash / ascent

Logic programming in Rust

Rust 472 18 Updated May 11, 2025