GitHub repository: rssys/snowboard
Primary language: C
Created: 2021-08-20T18:22:21Z
Description: 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