Block or report user

Report or block regehr

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@csmith-project @utah-cs5785

Pinned repositories

  1. google/souper

    A superoptimizer for LLVM IR

    C++ 840 76

  2. csmith-project/creduce

    C-Reduce, a C program reducer

    C++ 596 69

  3. csmith-project/csmith

    Csmith, a random generator of C programs

    C++ 385 65

  4. ub-canaries

    collection of C/C++ programs that try to get compilers to exploit undefined behavior

    C 109 12

  5. nunoplopes/alive

    Alive: Automatic LLVM's Instcombine Verifier

    Python 164 18

  6. opt-fuzz

    llvm opt fuzzer and bounded exhaustive test generator

    C++ 21 2

1,621 contributions in the last year

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

Contribution activity

September 2018

Created a pull request in google/souper that received 1 comment

update to LLVM 7, also update some random components of our Docker

setup, this is for CI and should not affect any non-souper-developers this contains an old LLVM patch for de-fanging InstCombine, Zhengyang will pa…

+16 −19 1 comment

Created an issue in nunoplopes/alive that received 2 comments

apparent infinite loop

this hangs overnight, but with Python using 100% of a CPU, not Z3 ---------------------------------------- Optimization: 1 Precondition: true %1 = …

83 contributions in private repositories Sep 1 – Sep 19

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