luyi0619 / cool-compiler
☆6Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for cool-compiler
- An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware☆25Updated 9 years ago
- Coursera Course (Stanford CS143)☆24Updated 10 years ago
- COOL Compiler☆10Updated 8 years ago
- ☆34Updated 6 years ago
- CrashTuner(SOSP2019)☆26Updated 5 years ago
- Flow-based configuration analysis☆9Updated 3 years ago
- Java Skeleton Code for 6.035☆8Updated 3 years ago
- ☆13Updated 7 years ago
- Modern Compiler Implementation in C☆39Updated 8 years ago
- Spring 2014. Stanford CS346 project. A mini relational database with query optimization☆167Updated 10 years ago
- configuration evolution dataset☆16Updated 3 years ago
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆38Updated 11 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆214Updated 5 years ago
- ☆62Updated 5 years ago
- This is a C++ implementation of Graspan.☆32Updated 11 months ago
- Projects of SJTU CS356 Operating System☆8Updated 8 years ago
- Dynamic Program Slicing in LLVM Compiler☆134Updated 6 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 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☆33Updated 4 years ago
- Standard Code Library for Nanjing University ACM/ICPC Team☆52Updated 7 years ago
- A pass that can generate PDG(in *.dot) for LLVM.☆36Updated 8 years ago
- This is java implementation of Graspan.☆20Updated 11 months ago
- ☆75Updated this week
- minimal symbolic model checker & fuzzer☆111Updated 9 years ago
- Let's discover a new world. — Edit☆10Updated 7 years ago
- An automated prover that verifies the equivalence of SQL queries☆27Updated 3 months ago
- Finding the potential null pointer exception☆28Updated 3 years ago