Automatic Verification of Determinism for Structured Parallel Programs-Reference-Cited by-同舟云学术

Automatic Verification of Determinism for Structured Parallel Programs

Published:2010 Issue: Volume: Page:455-471
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Vechev Martin,Yahav Eran,Raman Raghavan,Sarkar Vivek

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15769-1_28.pdf

Reference36 articles.

1. Dojo: Ensuring determinism of concurrent systems, https://researcher.ibm.com/researcher/view_project.php?id=1337

2. Banerjee, U. K. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Norwell (1988)

3. Blumofe, R.D., Joerg, C.F., Kuszmaul, B.C., Leiserson, C.E., Randall, K.H., Zhou, Y.: Cilk: an efficient multithreaded runtime system. In: PPoPP, pp. 207–216 (October 1995)

4. Bocchino, R., Adve, V., Adve, S., Snir, M.: Parallel programming must be deterministic by default. In: First USENIX Workship on Hot Topics in Parallelism (HOTPAR 2009) (2009)

5. Burnim, J., Sen, K.: Asserting and checking determinism for multithreaded programs. In: ESEC/FSE 2009, pp. 3–12. ACM, New York (2009)

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

1. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity;Proceedings of the ACM on Programming Languages;2023-06-06

2. Model-checking task-parallel programs for data-race;Innovations in Systems and Software Engineering;2019-05-18

3. Optimized Sound and Complete Data Race Detection in Structured Parallel Programs;Languages and Compilers for Parallel Computing;2019

4. Output nondeterminism detection for programming models combining dataflow with shared memory;Parallel Computing;2018-01

5. Model-Checking Task Parallel Programs for Data-Race;Lecture Notes in Computer Science;2018