Skip to content

@rs3lab Robust Scalable Systems Software Lab

Change the repository type filter

All

    Repositories list

    12 repositories

    • rs3lab.github.io

      Public
      HTML
      •0•0•0•0•Updated Nov 9, 2024Nov 9, 2024

    • TCLocks

      Public
      Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
      C
      •
      Other
      •0•10•0•0•Updated Nov 6, 2024Nov 6, 2024

    • KFlex

      Public
      C
      •
      GNU General Public License v2.0
      •2•21•0•0•Updated Sep 25, 2024Sep 25, 2024

    • die

      Public
      a paper template
      TeX
      •40•1•0•0•Updated Sep 10, 2024Sep 10, 2024

    • KFlex-linux

      Public
      C
      •
      Other
      •1•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • Monarch

      Public
      Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)
      Go
      •
      Apache License 2.0
      •0•3•0•0•Updated Jun 5, 2024Jun 5, 2024

    • bmc-cache

      Public
      Port of BMC to the latest Linux kernel
      C
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Mar 3, 2024Mar 3, 2024

    • Trio

      Public
      C
      •
      Apache License 2.0
      •0•1•0•0•Updated Jan 30, 2024Jan 30, 2024

    • SynCord

      Public
      https://rs3lab.github.io/SynCord/
      Python
      •2•21•0•1•Updated Nov 23, 2022Nov 23, 2022

    • SynCord-linux

      Public
      C
      •
      Other
      •2•2•1•0•Updated May 18, 2022May 18, 2022

    • Odinfs

      Public
      C
      •1•14•0•0•Updated May 16, 2022May 16, 2022

    • shfllock

      Public
      C
      •24•0•0•0•Updated Mar 5, 2022Mar 5, 2022