Block or report user

Popular repositories

  1. pingd

    A simple daemon that pings a host, records the ping history, and serves it via HTTP.

    Rust 7

  2. shmipclib

    shared-memory message passing queues without touching kernel space on x86-64

    C 2 2

  3. speck

    speck: the small, portable, efficiently-coded kernel

    C 2

  4. x86instlib

    An x86-64 instruction decoder and a corresponding instruction trace tool/library for (micro)architectural simulators.

    C++ 2 1

  5. autopiper

    Forked from google/autopiper

    Compiler for a high-level hardware description language with automatic pipeline synthesis

    C++ 2

  6. rust-oping

    Rust bindings for liboping, a simple ICMP ping library.

    Rust 2 1

1,605 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

Created a pull request in cfallin/soot that received 1 comment

Fix a miscompile: backwards liveness analysis was missing some blocks in functions with infinite loops.

Soot's backend performs register coloring (soot.toolkits.scalar.FastColorer) using a liveness analysis that is implemented in the usual style as a …

102 contributions in private repositories Jul 3 – Jul 26

Seeing something unexpected? Take a look at the GitHub profile guide.