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 1

  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 22 5

  3. kit kit Public

    Kernel isolation tester.

    Go 15 2

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

    13

  5. shard shard Public

    LLVM 12 3

  6. 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 12 1

Repositories

Showing 10 of 12 repositories
  • kaleidoscope-artifacts Public
    rssys/kaleidoscope-artifacts’s past year of commit activity
    Python 1 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 12 MIT 1 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
    13 0 0 0 Updated Oct 24, 2023
  • uswitch Public

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

    rssys/uswitch’s past year of commit activity
    C 6 1 0 0 Updated Jun 4, 2023
  • on-demand-fork Public

    On-demand-fork

    rssys/on-demand-fork’s past year of commit activity
    C 30 1 2 0 Updated Mar 28, 2023
  • kit-artifact Public

    This is the artifact of "KIT: Testing OS-level Virtualization for Functional Interference Bugs" in ASPLOS'23.

    rssys/kit-artifact’s past year of commit activity
    C 9 GPL-3.0 1 1 0 Updated Oct 20, 2022
  • kit Public

    Kernel isolation tester.

    rssys/kit’s past year of commit activity
    Go 15 GPL-3.0 2 0 0 Updated Oct 20, 2022
  • kernel-memory-acccess-tracing Public
    rssys/kernel-memory-acccess-tracing’s past year of commit activity
    0 0 0 0 Updated Jul 17, 2022
  • 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 22 5 0 0 Updated Apr 8, 2022
  • shard Public
    rssys/shard’s past year of commit activity
    LLVM 12 3 0 0 Updated Oct 17, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…