Alternatives and similar repositories for asplos22-ae

Users that are interested in asplos22-ae are comparing it to the libraries listed below

• stemnic / rustyvisor
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆16Updated last year
• olivierpierre / unikernel-papers
  ☆125Updated 7 months ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆21Updated 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 5 years ago
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated last year
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆26Updated 5 months ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆136Updated 3 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• Jiacheng / honeycomb-osdi23-ae
  ☆16Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 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…
  ☆64Updated 2 years ago
• rust-vmm / vm-fdt
  ☆19Updated last year
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆48Updated 3 years ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆41Updated 2 years ago
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆64Updated this week
• hky1999 / Unishyper
  A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.
  ☆11Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆26Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated 3 weeks ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆21Updated 3 years ago
• PLSysSec / swivel
  ☆17Updated 2 years ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆24Updated 2 years ago