Alternatives and similar repositories for eurosys21-artifacts

Users that are interested in eurosys21-artifacts are comparing it to the libraries listed below

• olivierpierre / unikernel-papers
  ☆125Updated 7 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated last week
• LinuxPerfStudy / LEBench
  A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…
  ☆64Updated last year
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• project-dune / dune
  ☆211Updated 3 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆138Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆30Updated last week
• google / ghost-userspace
  ☆241Updated 2 years ago
• mars-research / lvd-linux
  ☆21Updated 3 years ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆40Updated 5 years ago
• virtines / wasp
  Wasp: micro-hypervisor that enables lightweight, isolated virtines
  ☆19Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Updated 3 years ago
• rust-vmm / vhost
  ☆154Updated this week
• bpfverif / agni
  ☆47Updated this week
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆40Updated last month
• google / ghost-kernel
  ☆231Updated last year
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• soulxu / kvmsample
  minivm based on kvm
  ☆157Updated last year
• rssys / on-demand-fork
  On-demand-fork
  ☆32Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• mit-pdos / ward
  ☆30Updated 4 years ago
• intel / MigTD
  ☆44Updated this week
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆445Updated this week
• nutanix / libvfio-user
  framework for emulating devices in userspace
  ☆205Updated 3 weeks 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
• Xilinx-CNS / ebpf_asm
  An assembler for eBPF programs written in an Intel-like assembly syntax.
  ☆50Updated 2 years ago