Skip to content

@rssys Reliable and Secure Systems Lab @ Purdue

Change the repository type filter

All

    Repositories list

    18 repositories

    • krr-artifact

      Public
      Python
      •1•4•0•0•Updated Jun 26, 2025Jun 26, 2025

    • uswitch

      Public
      Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches
      C
      •1•10•1•0•Updated May 31, 2025May 31, 2025

    • snowboard

      Public
      This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis", In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Virtual, 2021
      C
      •6•26•0•0•Updated May 28, 2025May 28, 2025

    • snowplow

      Public
      Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator"
      Go
      •1•6•0•0•Updated Mar 28, 2025Mar 28, 2025

    • pegasus

      Public
      C++
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Mar 4, 2025Mar 4, 2025

    • pegasus-artifact

      Public
      0•6•0•0•Updated Sep 3, 2024Sep 3, 2024

    • uswitch-kernel

      Public
      C
      •
      Other
      •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • f-stack

      Public
      C
      •
      Other
      •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • kaleidoscope-artifacts

      Public
      Python
      •0•2•0•0•Updated Mar 26, 2024Mar 26, 2024

    • pronghorn-artifact

      Public
      This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted for presentation at EuroSys'24.
      Jupyter Notebook
      •
      MIT License
      •2•19•0•0•Updated Nov 8, 2023Nov 8, 2023

    • snowcat

      Public
      This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor".
      0•14•0•0•Updated Oct 24, 2023Oct 24, 2023

    • on-demand-fork

      Public
      On-demand-fork
      C
      •
      Other
      •2•30•2•0•Updated Mar 28, 2023Mar 28, 2023

    • kit-artifact

      Public
      This is the artifact of "KIT: Testing OS-level Virtualization for Functional Interference Bugs" in ASPLOS'23.
      C
      •
      GNU General Public License v3.0
      •1•10•1•0•Updated Oct 20, 2022Oct 20, 2022

    • kit

      Public
      Kernel isolation tester.
      Go
      •
      GNU General Public License v3.0
      •2•16•0•0•Updated Oct 20, 2022Oct 20, 2022

    • kernel-memory-acccess-tracing

      Public
      0•0•0•0•Updated Jul 17, 2022Jul 17, 2022

    • shard

      Public
      LLVM
      •3•13•0•0•Updated Oct 17, 2021Oct 17, 2021

    • linux-sheet

      Public
      Python
      •0•3•0•0•Updated Aug 20, 2020Aug 20, 2020

    • code-browser

      Public
      Fast interactive code navigation
      vimtagsctagsfzfcode-browser
      Shell
      •2•2•0•0•Updated Oct 14, 2019Oct 14, 2019