EMT: An OS Framework for New Memory Translation Architectures
☆30Jul 22, 2025Updated 7 months ago
Alternatives and similar repositories for emt
Users that are interested in emt are comparing it to the libraries listed below
Sorting:
- (elastic) cuckoo hashing☆16Jun 20, 2020Updated 5 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆11Jan 20, 2021Updated 5 years ago
- Getting Started with the Core Slicing Prototype☆13Jun 2, 2023Updated 2 years ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Feb 20, 2024Updated 2 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆33Dec 11, 2023Updated 2 years ago
- ☆15Apr 13, 2021Updated 4 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆44Jan 12, 2026Updated last month
- Tiered Memory Management: Access Latency is the Key!☆62Mar 17, 2025Updated 11 months ago
- ☆28Sep 17, 2024Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation met…☆81Feb 15, 2026Updated 2 weeks ago
- An artifact for Berti: an Accurate and Timely Local-Delta Data Prefetcher☆36Nov 9, 2022Updated 3 years ago
- Push-Button End-to-End Testing of Kubernetes Operators and Controllers☆131Feb 22, 2026Updated last week
- ☆37May 19, 2023Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆152Updated this week
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 years ago
- Implementation for the DIMVA'22 paper "Branch Different - Spectre Attacks on Apple Silicon"☆39Jul 29, 2022Updated 3 years ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- Fortune Teller (霄占): A Python-based divination platform that uses LLMs to provide personalized fortune readings through multiple systems …☆12Aug 30, 2025Updated 6 months ago
- ☆10Nov 14, 2022Updated 3 years ago
- The open-source component of Prime+Scope, published at CCS 2021☆37Jul 18, 2023Updated 2 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Aug 30, 2022Updated 3 years ago
- Dirigent: Lightweight Serverless Orchestration☆41Aug 26, 2025Updated 6 months ago
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆43Apr 28, 2025Updated 10 months ago
- ⚠️ ARCHIVED - All development moved to https://github.com/itbench-hub/ITBench/tree/main/scenarios☆15Feb 24, 2026Updated last week
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated last week
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- ☆13Updated this week
- A monolithic kernel based on ArceOS.☆14May 24, 2025Updated 9 months ago
- ☆14Dec 1, 2020Updated 5 years ago
- A pure C++11 based parallel programming library☆15Aug 22, 2016Updated 9 years ago