regehr / pldi22-llvm-tutorial

Related projects ⓘ

Alternatives and complementary repositories for pldi22-llvm-tutorial

• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated last year
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆73Updated last week
• tpchina / tpchina.github.io
  ☆15Updated last year
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆14Updated 5 years ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆17Updated 2 months ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆21Updated 2 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆38Updated this week
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• tchajed / futex-tutorial
  ☆8Updated 3 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆48Updated 6 years ago
• ychen306 / vegen
  ☆27Updated last year
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• opencompl / dyn-dialect
  A repository to test dialects defined dynamically.
  ☆12Updated last year
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆12Updated 6 months ago
• spcl / haystack
  Haystack is an analytical cache model that given a program computes the number of cache misses.
  ☆42Updated 5 years ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆38Updated 2 years ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆15Updated 9 months ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆19Updated last year
• nadavrot / pgo_ml
  Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"
  ☆23Updated 2 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆39Updated 3 weeks ago
• SwarmArch / T4
  Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"
  ☆27Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆77Updated this week
• JohndeVostok / APE
  A GPU FP32 computation method with Tensor Cores.
  ☆18Updated 2 years ago