Skip to content
Change the repository type filter

All

    Repositories list

    • Reading group website
      HTML
      0000Updated Nov 6, 2024Nov 6, 2024
    • Linux kernel development bootcamp
      Shell
      1500Updated Sep 13, 2024Sep 13, 2024
    • Anduril

      Public
      A feedback-driven fault injection tool for reproducing distributed systems failures
      Java
      11110Updated Sep 12, 2024Sep 12, 2024
    • Legolas

      Public
      Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
      Java
      Apache License 2.0
      1700Updated Mar 29, 2024Mar 29, 2024
    • pBox

      Public
      pBox: Enforcing Performance Isolation within Application
      Shell
      Apache License 2.0
      0800Updated Oct 22, 2023Oct 22, 2023
    • xinda-dep

      Public
      Shell
      0000Updated Oct 16, 2023Oct 16, 2023
    • OKLib

      Public
      OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
      Java
      52201Updated Oct 3, 2023Oct 3, 2023
    • Performance Sandox User-level Library
      C++
      0000Updated Aug 11, 2023Aug 11, 2023
    • C
      0000Updated Aug 11, 2023Aug 11, 2023
    • C
      0000Updated Jul 28, 2023Jul 28, 2023
    • Performance Sandox Abstraction in Linux Kernel
      C
      0000Updated Jul 28, 2023Jul 28, 2023
    • C
      0000Updated Jul 27, 2023Jul 27, 2023
    • C
      0000Updated Jul 26, 2023Jul 26, 2023
    • Linux Kernel modification for the Obi-Wan project
      C
      Other
      0240Updated Nov 6, 2022Nov 6, 2022
    • C
      Apache License 2.0
      0000Updated Oct 26, 2022Oct 26, 2022
    • Userspace library and example programs for the Obi-Wan project
      C++
      0210Updated Jul 12, 2022Jul 12, 2022
    • Redis modification for the Obi-Wan project
      C
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jul 9, 2022Jul 9, 2022
    • Nginx modification for the Obi-Wan project
      C
      0000Updated Jul 9, 2022Jul 9, 2022
    • Varnish modification for the Obi-Wan project evaluation
      C
      Other
      0000Updated Jul 9, 2022Jul 9, 2022
    • MySQL modification for the Obi-Wan project
      C++
      Other
      0000Updated Jul 9, 2022Jul 9, 2022
    • Postgres with orbit changes and enhancements
      C
      Other
      0000Updated May 25, 2022May 25, 2022
    • orbit

      Public
      Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
      Shell
      02010Updated May 23, 2022May 23, 2022
    • C++
      0000Updated May 23, 2022May 23, 2022
    • ZooKeeper benchmark in Go
      Go
      1000Updated Apr 14, 2022Apr 14, 2022
    • LevelDB modification for Obi-Wan project
      C++
      BSD 3-Clause "New" or "Revised" License
      0030Updated Apr 14, 2022Apr 14, 2022
    • httpd modification for the Obi-Wan project
      C
      Apache License 2.0
      0000Updated Apr 12, 2022Apr 12, 2022
    • Companion compiler for the orbit abstractions
      C++
      0100Updated Jan 25, 2022Jan 25, 2022
    • Arthas

      Public
      Arthas: Checkpoint and Selective Rollback for PMEM Systems
      C++
      0400Updated May 4, 2021May 4, 2021
    • Modified PMDK with support for Arthas
      C
      Other
      0000Updated May 4, 2021May 4, 2021
    • Fork of S2E/guest-tools
      C
      0001Updated Mar 20, 2021Mar 20, 2021