kaist-cp / shakeflow
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
☆51Updated 5 months ago
Related projects: ⓘ
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆15Updated last year
- ☆29Updated 2 weeks ago
- CIRC: Concurrent Immediate Reference Counting☆30Updated 3 months ago
- ☆124Updated last year
- ☆23Updated 3 years ago
- ☆19Updated 10 months ago
- A translation validation framework for MLIR☆71Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆36Updated 2 weeks ago
- ☆19Updated this week
- ☆20Updated 3 years ago
- The Educational RISC-V Toolset in Python☆32Updated last year
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆11Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆105Updated 4 months ago
- Time-sensitive affine types for predictable hardware generation☆128Updated 2 months ago
- ☆10Updated last year
- ☆44Updated last week
- ☆54Updated 3 months ago
- ☆41Updated 3 years ago
- KAIST Educational Virtualization☆12Updated last year
- A core language for rule-based hardware design 🦑☆138Updated this week
- Concurrent Data Structure for Rust☆29Updated last year
- ☆14Updated last year
- CHERI-RISC-V model written in Sail☆55Updated this week
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆32Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆62Updated this week
- rmem public repo☆40Updated last month
- ☆11Updated this week
- Lock-free elimination back-off stack☆12Updated 2 years ago
- The LLHD reference simulator.☆36Updated 4 years ago
- 컴퓨터 신기술 특강☆11Updated last year