luyi0619 / cool-compiler

Related projects ⓘ

Alternatives and complementary repositories for cool-compiler

• CharlieMartell / Compiler-Construction
  COOL Compiler
  ☆10Updated 8 years ago
• johnellis1392 / Cool-Compiler
  An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware
  ☆25Updated 9 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆24Updated 10 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated 10 months ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆111Updated 9 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• geeeeeeeeek / tiger
  Modern Compiler Implementation in C
  ☆38Updated 8 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆214Updated 5 years ago
• XiangpengHao / VeryPM
  Persistent Memory Tool Box
  ☆11Updated 8 months ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆26Updated 5 years ago
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆262Updated 2 years ago
• mayasankar / 6035-compiler
  Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.
  ☆12Updated 6 years ago
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 3 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 11 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆133Updated 6 years ago
• rstream-system / RStream
  ☆25Updated last year
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• chao-peng / CLFuzz
  ☆9Updated 4 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• hahoney / COOL-Compiler
  COOL is a small compiler project based on compiler class on Coursera and Stanford CS143
  ☆5Updated 9 years ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆65Updated 2 months ago
• ruigulala / ConAnalysis
  Concurrency Bug Vulnerability Analysis
  ☆12Updated 7 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆199Updated 2 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆282Updated last year
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 8 years ago