Pinned Repositories
minotaur
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
llvm-with-calls-to-souper
based on llvm 8.0.0
safecode-llvm37
Full LLVM 3.7 Source Code with SAFECode Project Committed. Works on Freebsd 9.3 and GCC 4.8
shogun-demo
Shogun Toolbox Interactive Web Demos
SPEC-configurations
SVA
Secure Virtual Architecture
zhengyang92's Repositories
zhengyang92/llvm-with-calls-to-souper
based on llvm 8.0.0
zhengyang92/safecode-llvm37
Full LLVM 3.7 Source Code with SAFECode Project Committed. Works on Freebsd 9.3 and GCC 4.8
zhengyang92/SPEC-configurations
zhengyang92/alive2
zhengyang92/clang
zhengyang92/code
zhengyang92/constant-synthesis-benchmarks
zhengyang92/cranelift
Cranelift code generator
zhengyang92/cranelift-profiler
zhengyang92/cs6960-fall17
repo for advanced OS, fall 2017, U of Utah
zhengyang92/dot-files
zhengyang92/emacs
my customizations to emacs
zhengyang92/emberfox
Labs toward basic web browser
zhengyang92/klee
zhengyang92/llvm
This repo replaces instcombine with a canonicalization-only instruction combiner. Based on llvm Release_50
zhengyang92/llvm-7-instcombine
zhengyang92/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
zhengyang92/loops
zhengyang92/plots
zhengyang92/rxjava-benchmarks
zhengyang92/RxSwift
Reactive Programming in Swift
zhengyang92/simd-bench
zhengyang92/souper
A superoptimizer for LLVM IR
zhengyang92/souper-fp
zhengyang92/souper-results
zhengyang92/test-suite-with-extra-large-problemset-olden
zhengyang92/thesis
zhengyang92/wasi-common
WASI implementation in Rust
zhengyang92/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
zhengyang92/zhengyang92