luyi0619 / cool-compilerLinks
☆7Updated 10 years ago
Alternatives and similar repositories for cool-compiler
Users that are interested in cool-compiler are comparing it to the libraries listed below
Sorting:
- An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware☆24Updated 10 years ago
- COOL Compiler☆11Updated 9 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Java Skeleton Code for 6.035☆8Updated 4 years ago
- Get the first page of all the papers in one conference☆14Updated 6 years ago
- Implementation of the algorithm described in "Hardware-conscious Hash-Joins on GPUs" paper presented in ICDE 2019☆35Updated 4 years ago
- Coursera Course (Stanford CS143)☆25Updated 11 years ago
- ☆33Updated 6 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆273Updated 3 years ago
- Flow-based configuration analysis☆9Updated 3 years ago
- Compiler phases for the COOL language☆9Updated 10 years ago
- Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…☆22Updated 6 years ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- CrashTuner(SOSP2019)☆30Updated 5 years ago
- Python-based Oblivious RAM☆29Updated 5 years ago
- Modern Compiler Implementation in C☆40Updated 9 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆224Updated 6 years ago
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆38Updated 12 years ago
- ☆49Updated 3 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆61Updated 12 years ago
- Let's discover a new world. — Edit☆10Updated 8 years ago
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆11Updated 7 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- An Oblivious General-Purpose SQL Database for the Cloud☆57Updated 5 years ago
- Automatically exported from code.google.com/p/type-inference☆27Updated 6 years ago
- A pass that can generate PDG(in *.dot) for LLVM.☆36Updated 8 years ago
- ☆13Updated 8 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆213Updated 5 months ago
- A unified testbed for evaluating different Oblivious RAM☆59Updated 2 years ago