casys-kaist / kevLinks
KAIST Educational Virtualization
☆15Updated 8 months ago
Alternatives and similar repositories for kev
Users that are interested in kev are comparing it to the libraries listed below
Sorting:
- ☆40Updated 7 months ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆19Updated 6 months ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆54Updated 5 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆16Updated 2 years ago
- ☆60Updated 2 weeks ago
- ☆44Updated 3 weeks ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆163Updated last week
- ☆23Updated 4 years ago
- ☆22Updated 4 years ago
- Tiered Memory Management: Access Latency is the Key!☆50Updated 3 months ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Updated last year
- ☆76Updated 7 months ago
- Victima is a new software-transparent technique that greatly extends the address translation reach of modern processors by leveraging the…☆28Updated last year
- OSDI'24 Nomad implementation☆46Updated 7 months ago
- ☆19Updated last year
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated 9 months ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆145Updated 3 months ago
- (elastic) cuckoo hashing☆14Updated 5 years ago
- ☆20Updated 3 weeks ago
- Heterogeneous Memory Software Development Kit☆83Updated 5 months ago
- ☆26Updated 4 months ago
- ☆130Updated 2 years ago
- Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"☆18Updated 4 years ago
- 컴퓨터 신기술 특강☆10Updated 2 years ago
- A Multiplatform benchmark designed to provide holistic, detailed and close-to-hardware view of memory system performance with family of b…☆34Updated last month
- Artifacts of EuroSys'24 paper "Exploring Performance and Cost Optimization with ASIC-Based CXL Memory"☆27Updated last year
- ☆282Updated 6 months ago
- ☆15Updated 2 years ago
- Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation met…☆67Updated last month