Pinned Repositories
bigsecurity
applying big data techniques to security
bugs
some performance bugs used in Linhai's paper
ComAir
profiling program complexity in production runs
disassembler-parser
python parser for different disassmebler
go-con-analyzer
concurrency bug detector for Go
go-con-study
LDoctor
LDoctor
llvm-Commons
common utility used by Linhai
perfevo
static checkers for performance bugs in PLDI'2012
songlh.github.com
homepage
songlh's Repositories
songlh/bigsecurity
applying big data techniques to security
songlh/songlh.github.com
homepage
songlh/go-con-study
songlh/ComAir
profiling program complexity in production runs
songlh/bugs
some performance bugs used in Linhai's paper
songlh/go-con-analyzer
concurrency bug detector for Go
songlh/rs
research statement
songlh/angora-rust
songlh/cgc-benchmarks
the cgc benchmark set
songlh/ComAir-paper
paper repository for ComAir paper
songlh/etcd
Distributed reliable key-value store for the most critical data of a distributed system
songlh/feast-2018
feast submission
songlh/feast-2019
paper repository for feast-2019
songlh/GCatch
Statically Detecting Go Concurrency Bugs
songlh/General-Grants-Program
Web3 Foundation General Grants Program
songlh/GFuzz
Fuzzing concurrent Go programs
songlh/Grants-Program
Web3 Foundation Grants Program
songlh/grpc-go
The Go language implementation of gRPC. HTTP/2 based RPC
songlh/ist451-2018-fall
songlh/ist451-2019
lab repository for ist451
songlh/kubernetes
Production-Grade Container Scheduling and Management
songlh/learn-solana
songlh/lockbud
Statically detect Rust deadlocks bugs
songlh/midi-demo
midilib code for demo purpose
songlh/openzeppelin-contracts-gas-1
OpenZeppelin Contracts is a library for secure smart contract development.
songlh/osdi-scripts
experimental scripts for osdi-2020
songlh/PDebloating
demo for debloating packet structs
songlh/solidly-gas-1
songlh/sra-221-2021-fall
lab repository for sra-221
songlh/xtt-gas
XTblock Token - Smart Contracts