Skip to content
@rssys

Reliable and Secure Systems Lab @ Purdue

Popular repositories Loading

  1. on-demand-fork on-demand-fork Public

    On-demand-fork

    C 32 3

  2. snowboard 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-thr…

    C 27 6

  3. pronghorn-artifact 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 21 2

  4. kit kit Public

    Kernel isolation tester.

    Go 18 4

  5. snowplow 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 16 2

  6. snowcat 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 Lea…

    15

Repositories

Showing 10 of 20 repositories
  • ksfs-artifacts Public
    rssys/ksfs-artifacts’s past year of commit activity
    C 0 0 0 0 Updated Jan 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

    rssys/kernel-concurrency-bug-study’s past year of commit activity
    4 0 0 0 Updated Jan 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"

    rssys/snowplow’s past year of commit activity
    Go 16 2 2 0 Updated Sep 30, 2025
  • krr-artifact Public
    rssys/krr-artifact’s past year of commit activity
    Python 12 3 1 0 Updated Sep 19, 2025
  • uswitch Public

    Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches

    rssys/uswitch’s past year of commit activity
    C 11 1 1 0 Updated May 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

    rssys/snowboard’s past year of commit activity
    C 27 6 0 0 Updated May 28, 2025
  • pegasus Public
    rssys/pegasus’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Mar 4, 2025
  • pegasus-artifact Public
    rssys/pegasus-artifact’s past year of commit activity
    8 0 0 0 Updated Sep 3, 2024
  • uswitch-kernel Public
    rssys/uswitch-kernel’s past year of commit activity
    C 0 0 0 0 Updated Aug 30, 2024
  • f-stack Public
    rssys/f-stack’s past year of commit activity
    C 1 0 0 0 Updated Aug 30, 2024
View all repositories

Most used topics

Loading…