Eraser-Reference-Cited by-同舟云学术

Eraser

Published:1997-12 Issue:5 Volume:31 Page:27-37
ISSN:0163-5980
Container-title:ACM SIGOPS Operating Systems Review
language:en
Short-container-title:SIGOPS Oper. Syst. Rev.

Author:

Savage Stefan¹,Burrows Michael²,Nelson Greg²,Sobalvarro Patrick²,Anderson Thomas³

Affiliation:

1. Department of Computer Science and Engineering, University of Washington, Seattle

2. Digital Equipment Corporation, Systems Research Center

3. Computer Science Division, University of California, Berkeley

Publisher

Association for Computing Machinery (ACM)

Link

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

Reference21 articles.

1. Extensibility safety and performance in the SPIN operating system

2. Digital Equipment. AltaVista Search. http://altavista.digital corn/ 1996. Digital Equipment. AltaVista Search. http://altavista.digital corn/ 1996.

3. Digital Equipment. Vesta Homu Page. http://www research digital corn/ SR~/vesta/ 1996. Digital Equipment. Vesta Homu Page. http://www research digital corn/ SR~/vesta/ 1996.

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

1. Industrial-Strength Controlled Concurrency Testing for $$\textsc {C}{} \texttt {\#} $$ Programs with $$\textsc {Coyote} $$;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. ERACE: Toward Facilitating Exploit Generation for Kernel Race Vulnerabilities;Applied Sciences;2022-11-22

3. Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11

4. CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

5. Interruption-driven resource competition defect model and testing methodology;2022 IEEE 6th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC );2022-10-03