Enforcing Textual Alignment of Collectives Using Dynamic Checks-Reference-Cited by-同舟云学术

Enforcing Textual Alignment of Collectives Using Dynamic Checks

Published:2010 Issue: Volume: Page:368-382
ISSN:0302-9743
Container-title:Languages and Compilers for Parallel Computing
language:
Short-container-title:

Author:

Kamil Amir,Yelick Katherine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13374-9_25.pdf

Reference22 articles.

1. Eclipse Parallel Tools Platform, http://www.eclipse.org/ptp/

2. Aiken, A., Gay, D.: Barrier inference. In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1998)

3. Bailey, D.H., Barszcz, E., Barton, J.T., Browning, D.S., Carter, R.L., Dagum, D., Fatoohi, R.A., Frederickson, P.O., Lasinski, T.A., Schreiber, R.S., Simon, H.D., Venkatakrishnan, V., Weeratunga, S.K.: The NAS Parallel Benchmarks. The International Journal of Supercomputer Applications 5(3), 63–73 (Fall 1991)

4. Bonachea, D.: GASNet specification, v1.1. Technical Report UCB/CSD-02-1207, University of California, Berkeley (November 2002)

5. Carlson, W., Draper, J., Culler, D., Yelick, K., Brooks, E., Warren, K.: Introduction to UPC and language specification. Technical Report CCS-TR-99-157, IDA Center for Computing Sciences (1999)

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

1. On Single-Valuedness in Textually Aligned SPMD Programs;International Journal of Parallel Programming;2021-05-04

2. Dynamic Deadlock Verification for General Barrier Synchronisation;ACM Transactions on Programming Languages and Systems;2019-03-31

3. Textual alignment in SPMD programs;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09

4. Concurrent software testing in practice: a catalog of tools;Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation;2015-08-30

5. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs;Software Testing, Verification and Reliability;2015-02-09