Pinned Loading

1. google/souper google/souper Public archive

   A superoptimizer for LLVM IR

   C++ 2.3k 183

2. souper-cgo20-artifact souper-cgo20-artifact Public

   "Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

   C 6

3. cranelift-peepholes cranelift-peepholes Public

   Automatic peephole optimizer for Cranelift JIT compiler

   Rust 19 3

4. Accera Accera Public

   Forked from microsoft/Accera

   Open source cross-platform compiler for compute-intensive loops used in AI algorithms, from Microsoft Research

   C++

5. msccl msccl Public

   Forked from microsoft/msccl

   Microsoft Collective Communication Library

   C++

6. phd-dissertation phd-dissertation Public

   Ph.D. Dissertation: Improving Compiler Construction Using Formal Methods

   1