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]

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Kaleidoscope: Precise Invariant-Guided Pointer Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

2. Veil: A Protected Services Framework for Confidential Virtual Machines;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4;2023-03-25