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 30 2

  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 25 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 17 2

  4. kit kit Public

    Kernel isolation tester.

    Go 16 2

  5. 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…

    14

  6. shard shard Public

    LLVM 13 3

Repositories

Showing 10 of 18 repositories
  • 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 25 6 0 0 Updated May 13, 2025
  • krr-artifact Public
    rssys/krr-artifact’s past year of commit activity
    Python 1 0 0 0 Updated Apr 30, 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"

    rssys/snowplow’s past year of commit activity
    Go 4 1 0 0 Updated Mar 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
    4 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 0 0 0 0 Updated Aug 30, 2024
  • kaleidoscope-artifacts Public
    rssys/kaleidoscope-artifacts’s past year of commit activity
    Python 2 0 0 0 Updated Mar 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.

    rssys/pronghorn-artifact’s past year of commit activity
    Jupyter Notebook 17 MIT 2 0 0 Updated Nov 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".

    rssys/snowcat’s past year of commit activity
    14 0 0 0 Updated Oct 24, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…