Alternatives and similar repositories for cool-compiler:

Users that are interested in cool-compiler are comparing it to the libraries listed below

• CharlieMartell / Compiler-Construction
  COOL Compiler
  ☆11Updated 9 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆24Updated 10 years ago
• johnellis1392 / Cool-Compiler
  An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware
  ☆24Updated 9 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• Yuzhen11 / Effective_Modern_Cpp
  ☆13Updated 7 years ago
• NYU-NEWS / janus
  ☆49Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 4 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• osl / concolic-walk
  Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
  ☆14Updated 10 years ago
• Yuzhen11 / flexps
  ☆33Updated 6 years ago
• psiul / ICDE2019-GPU-Join
  Implementation of the algorithm described in "Hardware-conscious Hash-Joins on GPUs" paper presented in ICDE 2019
  ☆33Updated 4 years ago
• mayasankar / 6035-compiler
  Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.
  ☆11Updated 7 years ago
• columbia / crane
  Transparent Paxos
  ☆44Updated 5 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆81Updated 3 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
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• DBCobra / CobraHome
  ☆11Updated 4 years ago
• ruigulala / ConAnalysis
  Concurrency Bug Vulnerability Analysis
  ☆12Updated 7 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆24Updated 6 months ago
• evanj / tpccbench
  In memory TPC-C implementation. Used for a number of database research projects.
  ☆38Updated 4 years ago
• XiangpengHao / VeryPM
  Persistent Memory Tool Box
  ☆12Updated last year
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆114Updated 2 years ago
• shuaimu / rococo
  ☆35Updated last year
• readablesystems / sto
  Software Transactional Objects
  ☆58Updated 11 months ago