Pinned Repositories
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Aerith
haoyang9804.github.io
HirGen
A Computational Graph Generator for AI Compiler Fuzzing
Papers4CompilerCorrectness
A list of papers related to correctness of compilers and compiler-like tools.
RecBi
A Reinforcement-Learning-Based C Program Mutator for LLVM/GCC Bug Isolation
TVMfuzz-exp
oneflow
OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.
DLCstudy
This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
onediff
OneDiff: An out-of-the-box acceleration library for diffusion models.
haoyang9804's Repositories
haoyang9804/HirGen
A Computational Graph Generator for AI Compiler Fuzzing
haoyang9804/RecBi
A Reinforcement-Learning-Based C Program Mutator for LLVM/GCC Bug Isolation
haoyang9804/Papers4CompilerCorrectness
A list of papers related to correctness of compilers and compiler-like tools.
haoyang9804/haoyang9804.github.io
haoyang9804/TVMfuzz-exp
haoyang9804/Aerith
haoyang9804/Arthur
haoyang9804/clang-tutor
A collection of out-of-tree Clang plugins for teaching and learning
haoyang9804/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
haoyang9804/Code-play
haoyang9804/CompCert
The CompCert formally-verified C compiler
haoyang9804/coq-Art
haoyang9804/CPDT
haoyang9804/design-patterns-cpp
C++ Design Patterns
haoyang9804/frap
Formal Reasoning About Programs
haoyang9804/FuzzingPaper
Recent Fuzzing Paper
haoyang9804/interactive_theorem_proving_and_program_development
Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
haoyang9804/llvm-ir-tutorial
LLVM IR入门指南
haoyang9804/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
haoyang9804/LOL-predict-GBDT
haoyang9804/metaprogramming
A metaprogramming training in C++
haoyang9804/Simple-Compiler-Frontend
haoyang9804/solidity
Solidity, the Smart Contract Programming Language
haoyang9804/TAPL-all
All resources about Types and Programming Languages (TAPL)
haoyang9804/TAPL-Coq
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
haoyang9804/TAPL-Ocaml
haoyang9804/tapl-scala
Code from the book "Types and Programming Languages" in Scala
haoyang9804/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
haoyang9804/TVMfuzz
haoyang9804/V