OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel-Reference-Cited by-同舟云学术

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel

Published:2023-05-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Eighteenth European Conference on Computer Systems
language:
Short-container-title:

Author:

Lepers Baptiste¹^ORCID,Giet Josselin²^ORCID,Zwaenepoel Willy³^ORCID,Lawall Julia⁴^ORCID

Affiliation:

1. Université de Neuchâtel, Neuchâtel, Switzerland

2. ENS, Paris, France

3. The University of Sydney, Sydney, Australia

4. Inria, Paris, France

Funder

ARC

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3552326.3567504

Reference26 articles.

1. Jia-Ju Bai , Julia Lawall , Qiu-Liang Chen , and Shi-Min Hu . Effective static analysis of concurrency use-after-free bugs in Linux device drivers . In USENIX Annual Technical Conference (USENIX ATC 19) , pages 255 -- 268 , 2019 . Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, and Shi-Min Hu. Effective static analysis of concurrency use-after-free bugs in Linux device drivers. In USENIX Annual Technical Conference (USENIX ATC 19), pages 255--268, 2019.

2. Sam Blackshear , Nikos Gorogiannis , Peter W O'Hearn , and Ilya Sergey . RacerD : compositional static race detection . Proceedings of the ACM on Programming Languages, (OOPSLA) , 2018 . Sam Blackshear, Nikos Gorogiannis, Peter W O'Hearn, and Ilya Sergey. RacerD: compositional static race detection. Proceedings of the ACM on Programming Languages, (OOPSLA), 2018.

3. Neil Brown . Smatch: pluggable static analysis for C. "https://lwn.net/Articles/691882/ ", 2016 . Neil Brown. Smatch: pluggable static analysis for C. "https://lwn.net/Articles/691882/", 2016.

4. Efficient and precise datarace detection for multithreaded object-oriented programs

5. Many contributors. Who's afraid of a big bad optimizing compiler? "https://lwn.net/Articles/793253/ ", 2019 . Many contributors. Who's afraid of a big bad optimizing compiler? "https://lwn.net/Articles/793253/", 2019.