luyi0619 / cool-compiler
☆6Updated 9 years ago
Alternatives and similar repositories for cool-compiler:
Users that are interested in cool-compiler are comparing it to the libraries listed below
- An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware☆24Updated 9 years ago
- COOL Compiler☆11Updated 9 years ago
- Compiler phases for the COOL language☆10Updated 10 years ago
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆38Updated 11 years ago
- Coursera Course (Stanford CS143)☆24Updated 10 years ago
- ☆33Updated 6 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆11Updated 7 years ago
- Java Skeleton Code for 6.035☆8Updated 4 years ago
- minimal symbolic model checker & fuzzer☆112Updated 9 years ago
- ☆13Updated 8 years ago
- Flow-based configuration analysis☆9Updated 3 years ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆13Updated 3 years ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- Modern Compiler Implementation in C☆40Updated 9 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆219Updated 5 years ago
- The engine of Cunik.☆26Updated 6 years ago
- Concurrency Paper☆102Updated last year
- 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
- 6.823 Advanced Computer Architecture Lab☆13Updated 8 years ago
- ☆63Updated 5 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- Dynamic Program Slicing in LLVM Compiler☆136Updated 6 years ago
- Biological Boolean Logic Evaluation & Systematization based on Simulation☆10Updated 9 months ago
- Solutions to exercises of Modern Compiler Implementation in C book☆36Updated 5 years ago
- A reading group for system verification papers☆10Updated last year
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆269Updated 3 years ago
- Automatically exported from code.google.com/p/type-inference☆27Updated 6 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Implementation of the algorithm described in "Hardware-conscious Hash-Joins on GPUs" paper presented in ICDE 2019☆35Updated 4 years ago