Author:
Zhang Yuan,Duesterwald Evelyn
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Single-Valuedness in Textually Aligned SPMD Programs;International Journal of Parallel Programming;2021-05-04
2. A denotational semantics of textually aligned SPMD programs;Journal of Logical and Algebraic Methods in Programming;2019-11
3. Multi-valued Expression Analysis for Collective Checking;Lecture Notes in Computer Science;2019
4. A Denotational Semantics of Textually Aligned SPMD Programs;2018 International Conference on High Performance Computing & Simulation (HPCS);2018-07
5. Textual alignment in SPMD programs;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09