Skip to content

@rssys Reliable and Secure Systems Lab @ Purdue

Change the repository type filter

All

    Repositories list

    20 repositories

    • ksfs-artifacts

      Public
      C
      •0•0•0•0•Updated Jan 29, 2026Jan 29, 2026

    • kernel-concurrency-bug-study

      Public
      "A Comprehensive Study of Concurrency Bugs in the Linux Kernel", Sishuai Gong, Chih-En Lin, Kevin Wu, Edwin Lu, Pedro Fonseca
      0•3•0•0•Updated Jan 27, 2026Jan 27, 2026

    • 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
      •2•16•2•0•Updated Sep 30, 2025Sep 30, 2025

    • krr-artifact

      Public
      Python
      •3•12•1•0•Updated Sep 19, 2025Sep 19, 2025

    • uswitch

      Public
      Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches
      C
      •1•11•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 Concurr…
      C
      •6•27•0•0•Updated May 28, 2025May 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•8•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•1•0•0•Updated Aug 30, 2024Aug 30, 2024

    • kaleidoscope-artifacts

      Public
      Python
      •0•3•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 EuroS…
      Jupyter Notebook
      •
      MIT License
      •2•21•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 …
      0•15•0•0•Updated Oct 24, 2023Oct 24, 2023

    • on-demand-fork

      Public
      On-demand-fork
      C
      •
      Other
      •3•32•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
      •2•11•1•0•Updated Oct 20, 2022Oct 20, 2022

    • kit

      Public
      Kernel isolation tester.
      Go
      •
      GNU General Public License v3.0
      •4•18•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