Alternatives and similar repositories for cs243-summary:

Users that are interested in cs243-summary are comparing it to the libraries listed below

• uwsampl / relay-aot
  An experimental ahead of time compiler for Relay.
  ☆50Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• SwarmArch / T4
  Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"
  ☆28Updated 3 years ago
• spcl / haystack
  Haystack is an analytical cache model that given a program computes the number of cache misses.
  ☆46Updated 5 years ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated this week
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆73Updated 2 years ago
• apc-llc / nvcc-llvm-ir
  Enabling on-the-fly manipulations with LLVM IR code of CUDA sources
  ☆110Updated 2 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆48Updated 6 years ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆28Updated 4 years ago
• ychen306 / vegen
  ☆28Updated 2 years ago
• amirjamez / COBAYN
  COBAYN: Compiler Autotuning Framework Using Bayesian Networks
  ☆20Updated 2 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆15Updated 5 years ago
• mattsinc / heterosync
  HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs
  ☆28Updated 6 months ago
• Meinersbur / pet
  Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)
  ☆39Updated 2 years ago
• SamAinsworth / reproduce-cgo2017-paper
  Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
  ☆38Updated 3 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆21Updated 4 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• mangpo / swizzle-inventor
  A framework that helps implementing swizzle GPU kernels
  ☆42Updated 5 years ago
• buaa-hipo / dlcompiler-comparison
  The quantitative performance comparison among DL compilers on CNN models.
  ☆74Updated 4 years ago
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆17Updated 2 years ago
• baco-authors / baco
  ☆16Updated last year
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆13Updated 3 months ago
• tpchina / tpchina.github.io
  ☆17Updated 2 years ago
• csl-iisc / iGUARD-SOSP21
  Race detector for NVIDIA GPUs, published in SOSP 2021.
  ☆19Updated last month
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago