V erified FT-Reference-Cited by-同舟云学术

V erified FT

Published:2018-02-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
language:
Short-container-title:

Author:

Wilcox James R.¹,Flanagan Cormac²,Freund Stephen N.³

Affiliation:

1. University of Washington

2. University of California

3. Williams College

Funder

NSF

Publisher

ACM

Link

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

Reference58 articles.

1. Types for safe locking

2. Rahul Agarwal and Scott D. Stoller. 2004. Type Inference for Parameterized Race-Free Java. In VMCAI. 149--160. Rahul Agarwal and Scott D. Stoller. 2004. Type Inference for Parameterized Race-Free Java. In VMCAI. 149--160.

3. Alexander Aiken and David Gay. 1998. Barrier Inference. In POPL. 243--354. 10.1145/268946.268974 Alexander Aiken and David Gay. 1998. Barrier Inference. In POPL. 243--354. 10.1145/268946.268974

4. Simone Atzeni Ganesh Gopalakrishnan Zvonimir Rakamaric Dong H. Ahn Ignacio Laguna Martin Schulz Gregory L. Lee Joachim Protze and Matthias S. Müller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In IPDPS. 53--62. Simone Atzeni Ganesh Gopalakrishnan Zvonimir Rakamaric Dong H. Ahn Ignacio Laguna Martin Schulz Gregory L. Lee Joachim Protze and Matthias S. Müller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In IPDPS. 53--62.

5. Stephen M. Blackburn Robin Garner Chris Hoffmann Asjad M. Khan Kathryn S. McKinley Rotem Bentzur Amer Diwan Daniel Feinberg Daniel Frampton Samuel Z. Guyer Martin Hirzel Antony L. Hosking Maria Jump Han Bok Lee J. Eliot B. Moss Aashish Phansalkar Darko Stefanovic Thomas VanDrunen Daniel von Dincklage and Ben Wiedermann. 2006. The DaCapo benchmarks: Java benchmarking development and analysis. In OOPSLA. 169--190. 10.1145/1167473.1167488 Stephen M. Blackburn Robin Garner Chris Hoffmann Asjad M. Khan Kathryn S. McKinley Rotem Bentzur Amer Diwan Daniel Feinberg Daniel Frampton Samuel Z. Guyer Martin Hirzel Antony L. Hosking Maria Jump Han Bok Lee J. Eliot B. Moss Aashish Phansalkar Darko Stefanovic Thomas VanDrunen Daniel von Dincklage and Ben Wiedermann. 2006. The DaCapo benchmarks: Java benchmarking development and analysis. In OOPSLA. 169--190. 10.1145/1167473.1167488

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

1. Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

2. BiRD: Race Detection in Software Binaries under Relaxed Memory Models;ACM Transactions on Software Engineering and Methodology;2022-07-12

3. Refinement for Structured Concurrent Programs;Computer Aided Verification;2020

4. Accelerating sequential consistency for Java with speculative compilation;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08

5. A true positives theorem for a static race detector;Proceedings of the ACM on Programming Languages;2019-01-02