kostis / ntua_compilers
Programs and utilities for the Compilers course at NTUA
☆8Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ntua_compilers
- NOELLE Offers Empowering LLVM Extensions☆76Updated 3 weeks ago
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- Apron Numerical Abstract Domain Library☆112Updated 2 months ago
- an educational compiler intermediate representation☆571Updated 2 weeks ago
- Search-based compiler for high-performance DSP programming☆61Updated 2 weeks ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 4 months ago
- RustHorn: A CHC-based automated verifier for Rust☆73Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆80Updated this week
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆336Updated 7 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆530Updated last month
- While language static analyzer☆10Updated 4 years ago
- Concurrent-C to Rust Automatic Translator☆14Updated last year
- Symbolic execution tool for Sail ISA specifications☆62Updated last month
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆10Updated 11 months ago
- A verification toolchain for Rust programs☆192Updated this week
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 2 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆50Updated 7 months ago
- Optimizing scheduler. Combinatorial instruction scheduling project.☆19Updated 2 months ago
- Synthesis of Loop-free Programs in Rust☆64Updated 4 years ago
- ☆19Updated last year
- Duet: static analysis for unbounded concurrency☆23Updated last week
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆60Updated 8 years ago
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆599Updated 2 weeks ago
- RISC-V Specification in Coq☆109Updated 3 months ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 8 years ago
- Reticle evaluation (PLDI 2021)☆13Updated 3 years ago
- Run llvm test-suite benchmarks☆13Updated 3 years ago
- ☆13Updated 4 months ago