Block or report user

Organizations

@jenkinsci @google

Popular repositories

  1. keshmesh

    Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.

    Java 13 3

  2. tqi-study

    Artifacts for the user study on type qualifier inference tools

    Java 4 1

  3. cascade

    A universal inference tool for type qualifiers in Java 8 (JSR-308)

    Java 3 1

  4. kerlang

    kerlang is a formal definition of the semantics of the Erlang programming language using the K framework.

    2 1

  5. Koochik

    Shortens URLs in GMail composition area

    JavaScript 2

  6. composite-refactorings

    An alternative interaction model for composite refactorings.

    Java 2 1

1 contribution in the last year

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

Contribution activity

June 2018

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