Pinned Repositories
arcaders-2022
:heart_eyes: Under the guidance of Kevin Zhang
async-book
Asynchronous Programming in Rust
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
aws-lambda-z3
A tutorial on running Z3 on AWS Lambda, with Rust
Granite
Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
lockbud
Statically detect Rust deadlocks bugs
loom
Concurrency permutation testing tool for Rust.
ocaml-esp32
tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
arcaders-2022
:heart_eyes: Under the guidance of Kevin Zhang
kevindadi's Repositories
kevindadi/lockbud
Statically detect Rust deadlocks bugs
kevindadi/loom
Concurrency permutation testing tool for Rust.
kevindadi/arcaders-2022
:heart_eyes: Under the guidance of Kevin Zhang
kevindadi/async-book
Asynchronous Programming in Rust
kevindadi/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
kevindadi/aws-lambda-z3
A tutorial on running Z3 on AWS Lambda, with Rust
kevindadi/c2rust
Migrate C code to Rust
kevindadi/cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
kevindadi/check-cratesio
kevindadi/crab
A library for building abstract interpretation-based analyses
kevindadi/DAMER2.0_release
kevindadi/joern_rust
kevindadi/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
kevindadi/layout
Layout is a rust library and a command line tool that renders Graphviz dot files.
kevindadi/left-right
A lock-free, read-optimized, concurrency primitive.
kevindadi/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
kevindadi/Motivate
kevindadi/netcrab
netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust
kevindadi/Rudra
Rust Memory Safety & Undefined Behavior Detection
kevindadi/rust-ffi-checker
kevindadi/rust_deadlock_pattern
kevindadi/RustMIRPass2021
RustMIRPass2021
kevindadi/SOURCES
Main repository of the GreatSPN framework
kevindadi/static-analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
kevindadi/Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
kevindadi/Tai-e-assignments
Tai-e assignments for static program analysis
kevindadi/tock
A secure embedded operating system for microcontrollers
kevindadi/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
kevindadi/xiongyingfei.github.io
kevindadi/zero2prod