project-flexos / asplos22-ae

Related projects ⓘ

Alternatives and complementary repositories for asplos22-ae

• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆21Updated last year
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆25Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆21Updated 4 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆60Updated last year
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆35Updated 5 months ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆29Updated 2 years ago
• olivierpierre / unikernel-papers
  ☆108Updated this week
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆21Updated last year
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆37Updated last year
• stanford-mast / shinjuku
  ☆45Updated last year
• bpfverif / agni
  ☆16Updated 2 weeks ago
• blakecaldwell / fluidmem
  Open memory disaggregation
  ☆25Updated 4 years ago
• cslab-ntua / contiguity-isca2020
  Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"
  ☆17Updated 4 years ago
• vmexit / trio-sosp23-ae
  ☆14Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆22Updated 2 months ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆37Updated 4 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• virtines / wasp
  Wasp: micro-hypervisor that enables lightweight, isolated virtines
  ☆18Updated last year
• Multi-V-VM / MVVM
  Seemlessly Migrate Process without boundary.
  ☆24Updated 5 months ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆54Updated 2 weeks ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago