Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor-Reference-Cited by-同舟云学术

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Gong Sishuai¹^ORCID,Peng Dinglan¹^ORCID,Altınbüken Deniz²^ORCID,Fonseca Pedro³^ORCID,Maniatis Petros²^ORCID

Affiliation:

1. Purdue University, West Lafayette, USA

2. Google DeepMind, Mountain View, United States

3. Purdue University, West Lafayette, United States

Funder

National Science Foundation

Publisher

ACM

Reference72 articles.

1. Muhammad Abubakar , Adil Ahmad , Pedro Fonseca , and Dongyan Xu . 2021 . SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 2435--2452. https://www.usenix.org/conference/usenixsecurity21/presentation/abubakar Muhammad Abubakar, Adil Ahmad, Pedro Fonseca, and Dongyan Xu. 2021. SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2435--2452. https://www.usenix.org/conference/usenixsecurity21/presentation/abubakar

2. Kard: lightweight data race detection with per-thread memory protection

3. Darrell Anderson . 2002 . Fstress: A Flexible Network File Service Benchmark. Technical Report. Darrell Anderson. 2002. Fstress: A Flexible Network File Service Benchmark. Technical Report.

4. Shaked Brody Uri Alon and Eran Yahav. 2022. How Attentive are Graph Attention Networks? arXiv:2105.14491 [cs.LG] Shaked Brody Uri Alon and Eran Yahav. 2022. How Attentive are Graph Attention Networks? arXiv:2105.14491 [cs.LG]