jivimberg / cs243-summary
Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016
☆31Updated 9 years ago
Alternatives and similar repositories for cs243-summary:
Users that are interested in cs243-summary are comparing it to the libraries listed below
- An experimental ahead of time compiler for Relay.☆50Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- A translation validation framework for MLIR☆81Updated this week
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆73Updated 2 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆110Updated 2 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- ☆28Updated 2 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20Updated 2 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 6 months ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆38Updated 3 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- The quantitative performance comparison among DL compilers on CNN models.☆74Updated 4 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 2 years ago
- ☆16Updated last year
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆13Updated 3 months ago
- ☆17Updated 2 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated last month
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- 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
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Updated 2 years ago