casys-kaist / kevLinks
KAIST Educational Virtualization
☆15Updated last year
Alternatives and similar repositories for kev
Users that are interested in kev are comparing it to the libraries listed below
Sorting:
- ☆43Updated last year
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆18Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆173Updated 5 months ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆56Updated 9 months ago
- ☆289Updated 11 months ago
- ☆62Updated 2 months ago
- KAIST CS420: Compiler Design☆537Updated 7 months ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆20Updated 11 months ago
- ☆55Updated this week
- EMT: An OS Framework for New Memory Translation Architectures☆22Updated 3 months ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆152Updated 8 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆40Updated last year
- ☆133Updated 2 years ago
- ☆22Updated 4 years ago
- ☆23Updated 4 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated last year
- Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation met…☆75Updated last month
- ☆32Updated 2 months ago
- ☆75Updated last year
- ☆58Updated last year
- ☆220Updated 7 months ago
- ☆73Updated 7 months ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Updated last year
- Tiered Memory Management: Access Latency is the Key!☆59Updated 8 months ago
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆136Updated 3 weeks ago
- The Educational RISC-V Toolset in Python☆38Updated 2 years ago
- Heterogeneous Memory Software Development Kit☆88Updated 2 weeks ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Updated last year
- [IEEE CAL 2025] Accelerating Page Migrations in Operating Systems with Intel DSA☆15Updated last year
- NVMeVirt: A Versatile Software-defined Virtual NVMe Device☆266Updated 4 months ago