BurtonQin
I received my B.S. and Ph.D. in BUPT, China. I was a visiting scholar in PennState, US, 2018-2019. Interested in program analysis and blockchain security.
Haidian District, Beijing
Pinned Repositories
advisory-db
Security advisory database for Rust crates published through crates.io
apache34464
apache bug reimplementation
Aprof
Implementation of Aprof
Awesome-Rust-Checker
A curated list of awesome Rust checkers
ckb
The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.
HelloWorld
Hello World Tutorial for Rust LLVM Instrumentation
lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
markdown_advanced_template
Markdown to docx/pdf with TOC、Ref and Bib; 将Markdown转成带目录、引用和参考文献的docx或pdf
openethereum
Fast and feature-rich multi-network Ethereum client.
VRLifeTime-1
Visualize Rust Lifetime
BurtonQin's Repositories
BurtonQin/lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
BurtonQin/Awesome-Rust-Checker
A curated list of awesome Rust checkers
BurtonQin/go-ethereum
Official Go implementation of the Ethereum protocol
BurtonQin/markdown_advanced_template
Markdown to docx/pdf with TOC、Ref and Bib; 将Markdown转成带目录、引用和参考文献的docx或pdf
BurtonQin/GCatch
Statically Detecting Go Concurrency Bugs
BurtonQin/burtonqin.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
BurtonQin/Chinese-LLaMA-Alpaca
中文LLaMA&Alpaca大语言模型+本地部署 (Chinese LLaMA & Alpaca LLMs)
BurtonQin/conflux-rust
The official Rust implementation of Conflux protocol. https://developer.confluxnetwork.org
BurtonQin/core-rs-albatross
Rust implementation of the Albatross protocol
BurtonQin/discv5
Rust implementation of Discovery v5
BurtonQin/KinectFusion
KinectFusion implemented in Python with PyTorch
BurtonQin/KinectFusion_2022
BurtonQin/MIRAI
Rust mid-level IR Abstract Interpreter
BurtonQin/move
BurtonQin/mypointer
Fork from golang.org/x/tools/go/pointer@v0.1.0-deprecated
BurtonQin/openethereum-1
The fast, light, and robust client for the Ethereum mainnet.
BurtonQin/quorum
A permissioned implementation of Ethereum supporting data privacy
BurtonQin/Rudra
Rust Memory Safety & Undefined Behavior Detection
BurtonQin/rust
Empowering everyone to build reliable and efficient software.
BurtonQin/rust-dlopen
Rust library for opening and working with dynamic link libraries.
BurtonQin/segment-anything
The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
BurtonQin/sol-pass
Solang LLVM bitcode analysis passes
BurtonQin/solana
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
BurtonQin/solana-escrow
BurtonQin/stuck-me-not
Stuck-me-not: A deadlock detector on blockchain software in Rust
BurtonQin/synsin
View synthesis for the public.
BurtonQin/tikv
Distributed transactional key-value database, originally created to complement TiDB
BurtonQin/tracing
Application level tracing for Rust.
BurtonQin/wasmer
🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten
BurtonQin/zksync
zkSync: trustless scaling and privacy engine for Ethereum