Pinned Repositories
D4
D4: Fast Concurrency Debugging with Parallel Differential Analysis
deepsim
Deep learning code semantic similarity
gpt-train
The simplest, fastest repository for training/finetuning medium-sized GPTs.
hw-ruby-intro
Ruby Introduction Assignment for Agile Development using Ruby on Rails
JMCR
A stateless model checker powered by maximal causality reduction
smallrace-open-source
LLVM-based open source static analysis framework for dynamic languages
TSA
Thread sharing analysis (static and dynamic)
UFO
UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
vrust-open-source
Automated Vulnerability Detection for Solana Smart Contracts
XRust
parasol-aser's Repositories
parasol-aser/deepsim
Deep learning code semantic similarity
parasol-aser/JMCR
A stateless model checker powered by maximal causality reduction
parasol-aser/UFO
UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
parasol-aser/vrust-open-source
Automated Vulnerability Detection for Solana Smart Contracts
parasol-aser/D4
D4: Fast Concurrency Debugging with Parallel Differential Analysis
parasol-aser/XRust
parasol-aser/TSA
Thread sharing analysis (static and dynamic)
parasol-aser/gpt-train
The simplest, fastest repository for training/finetuning medium-sized GPTs.
parasol-aser/smallrace-open-source
LLVM-based open source static analysis framework for dynamic languages
parasol-aser/hw-ruby-intro
Ruby Introduction Assignment for Agile Development using Ruby on Rails
parasol-aser/Incremental_Points_to_Analysis
This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
parasol-aser/JSDroid
parasol-aser/mirror-contracts
Smart contracts powering Mirror Protocol on Terra
parasol-aser/MPC
parasol-aser/OMPRacer
parasol-aser/phosphor
Phosphor: Dynamic Taint Tracking for the JVM
parasol-aser/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
parasol-aser/SWORD
the best static race detector for Java