Alternatives and similar repositories for xinda

Users that are interested in xinda are comparing it to the libraries listed below

• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆53Updated last month
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated 2 months ago
• uclasystem / DRust
  ☆50Updated last year
• glarer / UserspaceBypass
  ☆58Updated last year
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated 2 years ago
• Romero027 / sysnet-reading-list
  This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.
  ☆84Updated 6 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆157Updated 2 months ago
• ProjectMitosisOS / dmerge-eurosys24-ae
  Artifact evaluation repo for EuroSys'24.
  ☆28Updated 2 years ago
• dmemsys / awesome-disaggregated-memory
  A collection of awesome researchers and papers about disaggregated memory.
  ☆174Updated last month
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 4 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆203Updated 2 years ago
• uclasystem / hermit
  Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
  ☆34Updated last year
• ServerlessBench / ServerlessBench
  The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing
  ☆22Updated 3 years ago
• Nu-NSDI23 / Nu
  Nu is a new datacenter system that enables developers to build fungible applications that can use datacenter resources wherever they are.
  ☆39Updated last year
• open-neutrino / neutrino
  ☆209Updated 3 months ago
• AIFM-sys / AIFM
  AIFM: High-Performance, Application-Integrated Far Memory
  ☆124Updated 2 years ago
• appnet-org / appnet
  Expressive, Easy to Build, and High-Performance Application Networks
  ☆18Updated 4 months ago
• SJTU-IPADS / ServerlessBench
  A benchmark suite for serverless computing
  ☆232Updated 9 months ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆168Updated 2 weeks ago
• xlab-uiuc / emt
  EMT: An OS Framework for New Memory Translation Architectures
  ☆23Updated 4 months ago
• ProjectMitosisOS / ProjectMitosisOS
  Project Mitosis Introduction
  ☆19Updated 3 years ago
• lexiangh / Metastability
  ☆21Updated 2 years ago
• XpuOS / xsched
  A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs
  ☆139Updated last month
• IntelliSys-Lab / RainbowCake-ASPLOS24
  ☆39Updated 2 years ago
• 824728350 / Zodiac
  Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024
  ☆14Updated last year
• jovans2 / MXFaaS_Artifact
  ☆27Updated last year
• wangchang327 / compiler-lab-test-driver
  编译原理课程实践中用于测试的代码
  ☆10Updated 4 years ago
• lingfenghsiang / Nomad
  OSDI'24 Nomad implementation
  ☆54Updated 3 months ago