vmexit/trio-sosp23-ae external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

vmexit/trio-sosp23-ae

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/vmexit/trio-sosp23-ae)

Close

vmexit / trio-sosp23-aeView on GitHubMore

• External links
• Readme badge

☆20Sep 8, 2025Updated 6 months ago

Alternatives and similar repositories for trio-sosp23-ae

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

• fastmove-open / fastmove

  View on GitHub
  ☆18Feb 22, 2023Updated 3 years ago
• glarer / UserspaceBypass

  View on GitHub
  ☆58May 10, 2024Updated last year
• SamsungDS / TorFS

  View on GitHub
  TorFS is a plugin that enables RocksDB to access FDP SSDs
  ☆14Jul 16, 2025Updated 7 months ago
• WukLab / Mira

  View on GitHub
  A Progam-Behavior-Guided Far Memory System
  ☆36Oct 26, 2023Updated 2 years ago
• rs3lab / SynCord

  View on GitHub
  https://rs3lab.github.io/SynCord/
  ☆26Nov 23, 2022Updated 3 years ago
• datenlord / etcd-client

  View on GitHub
  ☆15Jul 18, 2023Updated 2 years ago
• icsnju / VeriXmith

  View on GitHub
  A tool for cross-checking Verilog compilers
  ☆14Apr 16, 2025Updated 10 months ago
• GTkernel / coeus-sim

  View on GitHub
  ☆11Mar 22, 2022Updated 3 years ago
• PKU-ASAL / PKUWA

  View on GitHub
  ☆13Aug 18, 2025Updated 6 months ago
• jalalmostafa / afxdp_perfeval

  View on GitHub
  Performance Evaluation of AF_XDP Communication Patterns. Artifacts for "Are Kernel Drivers Ready For Accelerated Packet Processing Using …
  ☆11Jun 11, 2024Updated last year
• enochii / simple-pointer-analysis

  View on GitHub
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Dec 20, 2021Updated 4 years ago
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• tinyvmi / tinyvmi

  View on GitHub
  LibVMI in MiniOS
  ☆12May 22, 2021Updated 4 years ago
• litz-lab / scarab-infra

  View on GitHub
  A set of tools that automate the execution of scarab simulations
  ☆19Updated this week
• HPDCS / schedule-hook

  View on GitHub
  A kernel module that dynamically patches the Linux kernel scheduler so as to allow running a custom function upon thread reschedule
  ☆14Feb 6, 2018Updated 8 years ago
• YesZhen / P2CACHE

  View on GitHub
  ☆14May 22, 2023Updated 2 years ago
• eunomia-bpf / bpf-benchmark

  View on GitHub
  Userspace eBPF Runtime Benchmarking Test Suite and Results
  ☆16Updated this week
• jiegec / naiverouter

  View on GitHub
  A router IP written in Verilog.
  ☆12Dec 20, 2019Updated 6 years ago
• yhtzd / skyloft

  View on GitHub
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Sep 15, 2024Updated last year
• madsys-dev / smart

  View on GitHub
  Scaling Up Memory Disaggregated Applications with SMART
  ☆34Apr 23, 2024Updated last year
• oscomp / proj275-eBPF-for-AI-ML-tracking-and-performance-analysis

  View on GitHub
  ☆12May 13, 2025Updated 9 months ago
• NGIOproject / PMTutorial

  View on GitHub
  Slides and exercises for persistent memory programming tutorial
  ☆14Nov 14, 2022Updated 3 years ago
• wangrunji0408 / rjrouter

  View on GitHub
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Oct 8, 2020Updated 5 years ago
• 824728350 / Clara

  View on GitHub
  ☆18Nov 1, 2021Updated 4 years ago
• oscomp / proj6-user-level-interrupt

  View on GitHub
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Apr 1, 2025Updated 11 months ago
• Oyami-Srk / RISCV-GDB-Paging

  View on GitHub
  Paging Debug tool for GDB using python
  ☆13Jun 4, 2022Updated 3 years ago
• efeslab / moesi-prime

  View on GitHub
  ☆15Dec 15, 2022Updated 3 years ago
• Jiacheng / honeycomb-osdi23-ae

  View on GitHub
  ☆16May 22, 2023Updated 2 years ago
• chipsalliance / rocket-chip-fpga-shells

  View on GitHub
  Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards
  ☆20Nov 27, 2024Updated last year
• MashPlant / decaf-rs

  View on GitHub
  Framework of pa code for THU compiler principle course.
  ☆13Dec 18, 2019Updated 6 years ago
• CircuitCoder / ChannelOS

  View on GitHub
  What if everything is a io_uring?
  ☆17Nov 10, 2022Updated 3 years ago
• PLSysSec / swivel

  View on GitHub
  ☆17Oct 9, 2023Updated 2 years ago
• swarupchandra / secure-analytics-sgx

  View on GitHub
  Securing Data Analytics on Intel SGX using Randomization
  ☆13Aug 30, 2017Updated 8 years ago
• LearningOS / rCore-Tutorial-Guide-2023S

  View on GitHub
  ☆12Jun 10, 2023Updated 2 years ago
• cds-ruc / SALI

  View on GitHub
  ☆17Jan 12, 2024Updated 2 years ago
• oscomp / proj47-tee-os

  View on GitHub
  面向可信执行环境的OS。
  ☆12May 9, 2025Updated 10 months ago
• GiantVM / Linux-DSM

  View on GitHub
  Source code of KVM
  ☆19Aug 14, 2022Updated 3 years ago
• regehr / pldi22-llvm-tutorial

  View on GitHub
  outline and links for PLDI 2022 tutorial
  ☆17Jun 13, 2022Updated 3 years ago
• project-flexos / asplos22-ae

  View on GitHub
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Apr 2, 2022Updated 3 years ago