Reliable and Secure Systems Lab @ Purdue

Popular repositories Loading

1. on-demand-fork on-demand-forkPublic

   On-demand-fork

   C 33 3

2. snowboard snowboardPublic

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

3. pronghorn-artifact pronghorn-artifactPublic

   This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted for presentation at EuroSys'24.

   Jupyter Notebook 22 5

4. kit kitPublic

   Kernel isolation tester.

   Go 18 4

5. snowplow snowplowPublic

   Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator"

   Go 17 2

6. snowcat snowcatPublic

   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…

   16