Maximal sound predictive race detection with control flow abstraction-Reference-Cited by-同舟云学术

Maximal sound predictive race detection with control flow abstraction

Published:2014-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Huang Jeff¹,Meredith Patrick O'Neil¹,Rosu Grigore¹

Affiliation:

1. University of Illinois at Urbana-Champaign

Funder

(Romanian) SMISCSNR 602-12516 contract

Rockwell Collins

Division of Computing and Communication Foundations

NSA

Defense Advanced Research Projects Agency

Publisher

ACM

Link

Reference39 articles.

1. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419383. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419383.

2. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419543. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419543.

3. http://www.eclipse.org/virgo/. http://www.eclipse.org/virgo/.

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

1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

3. How Hard Is Weak-Memory Testing?;Proceedings of the ACM on Programming Languages;2024-01-05

4. Coarser Equivalences for Causal Concurrency;Proceedings of the ACM on Programming Languages;2024-01-05

5. NodeRT: Detecting Races in Node.js Applications Practically;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12