Popular repositories Loading

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

   On-demand-fork

   C 31 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 24 5

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

4. kit kit Public

   Kernel isolation tester.

   Go 15 2

5. shard shard Public

   LLVM 13 3

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…

   13