Skip to content


  • Arctic Code Vault Contributor


  1. A commutativity verifier for Java Reducer.

    Java 2 1

  2. Python concolic testing on byte-code level

    Python 2 2

114 contributions in the last year

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

Contribution activity

October 2020

1 contribution in private repositories Oct 14

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

You can’t perform that action at this time.