Popular repositories Loading

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

   On-demand-fork

   C 33 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 28 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 22 5

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 17 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…

   16