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:
- ☆44Updated last year
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆56Updated 10 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆18Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆174Updated 6 months ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆20Updated last year
- KAIST CS420: Compiler Design☆541Updated 8 months ago
- ☆290Updated last year
- ☆63Updated 3 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆49Updated last year
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆152Updated 8 months ago
- ☆55Updated last week
- ☆22Updated 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…☆78Updated 2 months ago
- ☆133Updated 2 years ago
- ☆74Updated 7 months ago
- ☆34Updated 3 months ago
- ☆72Updated 2 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆24Updated 4 months ago
- Victima is a new software-transparent technique that greatly extends the address translation reach of modern processors by leveraging the…☆31Updated 2 years ago
- (elastic) cuckoo hashing☆14Updated 5 years ago
- ☆23Updated 2 years ago
- [IEEE CAL 2025] Accelerating Page Migrations in Operating Systems with Intel DSA☆16Updated last year
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆140Updated last week
- OSDI'24 Nomad implementation☆54Updated 4 months ago
- ☆22Updated 11 months ago
- ☆28Updated this week
- ☆22Updated last month
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Updated last year
- Tiered Memory Management Beyond Hotness (OSDI'25)☆25Updated 4 months ago