Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

Testing for data races in the Linux OS kernel is challenging because there is an exponentially large space of system calls and thread interleavings that can potentially lead to concurrent executions with races. In this work, we introduce a new approach for modeling execution trace feasibility and ap...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of ACM on programming languages 2024-04, Vol.8 (OOPSLA1), p.810-832, Article 123
Main Authors: Ryan, Gabriel, Cetin, Burcu, Lim, Yongwhan, Jana, Suman
Format: Article
Language:English
Subjects:
Computing methodologies
Operating systems security
Parallel computing methodologies
Security and privacy
Software and its engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!