Skip to content
@rssys

Reliable and Secure Systems Lab @ Purdue

Popular repositories

  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 21 6

  3. kit kit Public

    Kernel isolation tester.

    Go 13 2

  4. shard shard Public

    LLVM 12 3

  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…

    12

  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 10 1

Repositories

Showing 10 of 12 repositories
  • kaleidoscope-artifacts Public
    Python 0 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.

    Jupyter Notebook 10 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".

    12 0 0 0 Updated Oct 24, 2023
  • uswitch Public

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

    C 6 1 0 0 Updated Jun 4, 2023
  • on-demand-fork Public

    On-demand-fork

    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.

    C 9 GPL-3.0 1 1 0 Updated Oct 20, 2022
  • kit Public

    Kernel isolation tester.

    Go 13 GPL-3.0 2 0 0 Updated Oct 20, 2022
  • kernel-memory-acccess-tracing Public
    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

    C 21 6 0 0 Updated Apr 8, 2022
  • shard Public
    LLVM 12 3 0 0 Updated Oct 17, 2021
View all repositories

Most used topics

Loading…