Skip to content
View chen-tian's full-sized avatar

Block or report chen-tian

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  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. maple maple Public

    Forked from jieyu/maple

    A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

    C++

  3. tachyon-testing tachyon-testing Public

    Tachyon testing

    Java 1

  4. tachyon tachyon Public

    Forked from Alluxio/alluxio

    A Reliable Memory Centric Distributed Storage System

    Java

  5. contiki contiki Public

    Forked from contiki-os/contiki

    The official git repository for Contiki, the open source OS for the Internet of Things

    C

  6. vagrant vagrant Public

    Forked from hashicorp/vagrant

    Vagrant is a tool for building and distributing development environments.

    Ruby