Popular repositories

1. concurrency-bugs concurrency-bugs Public

   Forked from jieyu/concurrency-bugs

   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.

   C++

2. whole-program-llvm whole-program-llvm Public

   Forked from travitch/whole-program-llvm

   A wrapper script to build whole-program LLVM bitcode files

   Python

3. BOP BOP Public

   Some notes about beauty of programming

   C++

4. LeetCode LeetCode Public

   Some my own solutions to the problems on the LeetCode.

   C++

5. caut-lib caut-lib Public

   Forked from Moondee/caut-lib

   a CIL-based dynamic symbolic execution (DSE) engine for C language

   C

6. FYP FYP Public

   C++