casys-kaist / kev
KAIST Educational Virtualization
☆13Updated 3 months ago
Alternatives and similar repositories for kev:
Users that are interested in kev are comparing it to the libraries listed below
- ☆35Updated last month
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆52Updated 9 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆15Updated last year
- ☆56Updated last week
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆14Updated last month
- ☆46Updated last month
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆20Updated 4 months ago
- ☆41Updated last month
- (elastic) cuckoo hashing☆13Updated 4 years ago
- ☆21Updated 3 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆122Updated last week
- Victima is a new software-transparent technique that greatly extends the address translation reach of modern processors by leveraging the…☆25Updated last year
- Proof-of-concept code for the IEEE S&P 2025 paper "Peek-a-Walk: Leaking Secrets via Page Walk Side Channels"☆13Updated last week
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆139Updated 8 months ago
- ☆18Updated last year
- ☆16Updated 7 months ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆10Updated 3 years ago
- ☆18Updated 5 months ago
- A Cycle-level simulator for M2NDP☆22Updated last month
- ☆271Updated last month
- Processing-In-Memory (PIM) Simulator☆145Updated last month
- ☆75Updated last month
- ☆11Updated 7 months ago
- ☆195Updated 10 months ago
- LLMServingSim: A HW/SW Co-Simulation Infrastructure for LLM Inference Serving at Scale☆78Updated 2 weeks ago
- ☆19Updated last year
- ☆14Updated last year
- ☆21Updated last month