Repositories list

• OS-Course-Lab

  Public
  本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。

  C

  •

  Mulan Permissive Software License, Version 2

  •86•321•1•1•Updated Feb 6, 2025Feb 6, 2025

• PowerInfer

  Public
  High-speed Large Language Model Serving for Local Deployment

  llamalarge-language-modelsllm+ 2local-inferencellm-inference

  C++

  •

  MIT License

  •419•8.1k•103•4•Updated Jan 28, 2025Jan 28, 2025

• PhoenixOS

  Public
  Fast OS-level support for GPU checkpoint and restore

  gpucudacriu+ 1checkpoint-restore

  C

  •

  Apache License 2.0

  •11•151•6•0•Updated Jan 7, 2025Jan 7, 2025

• SQLSolver-artifacts

  Public
  Java

  •0•0•0•0•Updated Dec 23, 2024Dec 23, 2024

• PipeLLM

  Public
  C++

  •0•2•0•0•Updated Dec 22, 2024Dec 22, 2024

• PhoenixOS-Remoting

  Public
  C

  •

  MIT License

  •1•11•0•0•Updated Dec 3, 2024Dec 3, 2024

• krcore-artifacts

  Public
  Ths is a fast RDMA abstraction layer that works both in the kernel and user-space.

  rdmadctrust

  Rust

  •7•51•5•0•Updated Nov 12, 2024Nov 12, 2024

• PhoenixOS-CRIU

  Public
  C

  •

  Other

  •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

• PhoenixOS-Assets

  Public
  0•0•0•0•Updated Nov 2, 2024Nov 2, 2024

• HEDB

  Public
  Towards A Secure Yet Maintainable Encrypted Database

  postgresdatabase-managementencrypted-database+ 2maintananceconfidential-computing

  C++

  •

  Other

  •6•58•0•0•Updated Aug 28, 2024Aug 28, 2024

• disb

  Public
  DISB is a new DNN inference serving benchmark with diverse workloads and models, as well as real-world traces.

  C++

  •

  Apache License 2.0

  •7•53•2•0•Updated Aug 21, 2024Aug 21, 2024

• SQLSolver

  Public
  An automated prover that verifies the equivalence of SQL queries

  Java

  •

  Apache License 2.0

  •0•32•0•0•Updated Aug 2, 2024Aug 2, 2024

• fisslock

  Public
  A fast and scalable distributed lock service using programmable switches.

  C++

  •1•13•0•0•Updated Jul 30, 2024Jul 30, 2024

• ServerlessBench

  Public
  A benchmark suite for serverless computing

  C++

  •

  Other

  •34•223•6•0•Updated Jul 1, 2024Jul 1, 2024

• Bamboo

  Public
  Bamboo-7B Large Language Model

  pretrained-modelspretrained-language-modellarge-language-models+ 3llmsparse-llmpowerinfer

  Apache License 2.0

  •1•89•0•0•Updated Mar 28, 2024Mar 28, 2024

• wukong-cube

  Public
  A distributed in-memory store for temporal knowledge graphs

  C++

  •

  Apache License 2.0

  •0•10•0•0•Updated Mar 20, 2024Mar 20, 2024

• jade-artifacts

  Public
  Shell

  •0•0•0•0•Updated Mar 4, 2024Mar 4, 2024

• HTLL

  Public
  C

  •

  MIT License

  •0•1•0•0•Updated Dec 14, 2023Dec 14, 2023

• Desiccant-artifacts

  Public
  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Nov 1, 2023Nov 1, 2023

• ugache

  Public
  C++

  •

  Apache License 2.0

  •3•23•0•0•Updated Oct 31, 2023Oct 31, 2023

• WeTune

  Public
  0•0•0•0•Updated Oct 6, 2023Oct 6, 2023

• ugache-artifacts

  Public
  The artifact evaluation of SOSP 2023 for UGache

  C++

  •

  Apache License 2.0

  •1•8•0•0•Updated Jul 28, 2023Jul 28, 2023

• gnnlab

  Public
  A Factored System for Sample-based GNN Training over GPUs

  Python

  •

  Apache License 2.0

  •7•42•4•0•Updated Jul 26, 2023Jul 26, 2023

• vegito

  Public
  htapdrtm

  C++

  •

  Apache License 2.0

  •7•52•0•0•Updated May 18, 2023May 18, 2023

• powerlyra

  Public
  Differentiated Computation and Partitioning on Skewed (Natural or Bipartite) Graphs

  C++

  •518•4•0•0•Updated May 15, 2023May 15, 2023

• hackwrench

  Public
  C++

  •0•11•1•0•Updated Apr 26, 2023Apr 26, 2023

• DeSearch

  Public
  a decentralized search engine with a decentralized verifiable dataflow

  search-engineweb3steem-blockchain+ 2sgx-enclavedecentralized-applications

  C

  •1•55•0•0•Updated Apr 16, 2023Apr 16, 2023

• reef

  Public
  REEF is a GPU-accelerated DNN inference serving system that enables instant kernel preemption and biased concurrent execution in GPU scheduling.

  Cuda

  •

  Apache License 2.0

  •8•90•4•0•Updated Dec 24, 2022Dec 24, 2022

• wukong

  Public
  A graph-based distributed in-memory store that leverages efficient graph exploration to provide highly concurrent and low-latency queries over big linked data

  distributed-systemsin-memorygraph-query-store+ 2rdmalow-latency-queries

  C++

  •

  Apache License 2.0

  •29•189•4•0•Updated Jul 28, 2022Jul 28, 2022

• reef-artifacts

  Public
  A GPU-accelerated DNN inference serving system that supports instant kernel preemption and biased concurrent execution in GPU scheduling.

  C

  •

  Apache License 2.0

  •7•40•0•0•Updated May 29, 2022May 29, 2022