A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.
A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.
Forked from apache/mesos
Mirror of Apache Mesos
My unix environment configurations.
Customized file type plugin for vim.
Forked from bazelbuild/bazel
Correct, reproducible, and fast builds for everyone.