zyy0721's Stars
EricZhu-42/ChargingStationMonitor
南哪充电 —— 南京大学 (Nanjing Univerisity) 校内充电站监测系统
trailofbits/vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
triton-lang/triton
Development repository for the Triton language and compiler
hpc-ulisboa/NDPmulator
A Full-System Framework for Simulating NDP devices from Caches to DRAM
cdl-saarland/CGO17_ArtifactEvaluation
Artifact evaluation repository for the CGO17 paper: Optimistic Loop Optimization
sysartifacts/sysartifacts.github.io
Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
mxz297/dyninst-tools
A collection of command-line tools based on Dyninst
ccfddl/ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
SabaJamilan/Profile-Guided-Software-Prefetching
Lycheus/SHORE
SHORE: RISC-V Memory Safety in C
drzchen/movec
Movec: A Tool for the Monitoring and Verification of C Programs
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
arcana-lab/noelle
NOELLE Offers Empowering LLVM Extensions
jamro1149/Hydra
Automatic Parallelism Using LLVM
Graspan/graspan-java
This is java implementation of Graspan.
Graspan/Graspan-C
Graspan-C is a reimplemented optimized version of Graspan.
Graspan/graspan-cpp
This is a C++ implementation of Graspan.
Graspan/Graspan-G
Graspan-G is a GPU-based version of Graspan.
Chianina-system/backend
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
wsmoses/Tapir-LLVM
Tapir extension to LLVM for optimizing Parallel Programs
santoshn/softboundcets-34
SoftBoundCETS for LLVM+Clang version 34
embecosm/mibench
The MiBench testsuite, extended for use in general embedded environments
rust-lang/miri
An interpreter for Rust's mid-level intermediate representation
rustsec/advisory-db
Security advisory database for Rust crates published through crates.io
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
rstream-system/RStream
HowieMa/NSRMhand
[WACV 2020] "Nonparametric Structure Regularization Machine for 2D Hand Pose Estimation"
souffle-lang/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.