GoAT: Automated Concurrency Analysis and Debugging Tool for Go
GoAT: Automated Concurrency Analysis and Debugging Tool for Go
复制标题
GoAT：Go 的自动并发分析和调试工具
DOI：
10.1109/iiswc53511.2021.00023
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Gopalakrishnan, Ganesh
中科院分区：
文献类型：
--
作者：
Taheri, Saeed;Gopalakrishnan, Ganesh
登录
查看更多内容
自动为复杂 GPU 内核提供源代码优化建议的工具
DOI：
--
发表时间：
2019
期刊：
arXiv.org
影响因子：
--
作者：
Saeed Taheri;Apan Qasem;Martin Burtscher
通讯作者：
Martin Burtscher
DOI：
--
发表时间：
2020
期刊：
International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Xinhao Yuan;Junfeng Yang
通讯作者：
Junfeng Yang
ParLoT：HPC 应用程序的高效全程序调用跟踪
DOI：
10.1007/978-3-030-17872-7_10
发表时间：
2017
期刊：
Proceedings of the 2006 ACM/IEEE conference on Supercomputing
影响因子：
--
作者：
Saeed Taheri;Sindhu Devale;G. Gopalakrishnan;Martin Burtscher
通讯作者：
Martin Burtscher
隔离 go：基于频道的节目的活跃度和安全性
DOI：
10.1145/3009837.3009847
发表时间：
2016
期刊：
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
影响因子：
--
作者：
J. Lange;Nicholas Ng;Bernardo Toninho;N. Yoshida
通讯作者：
N. Yoshida
消息传递 Go 程序的基于跟踪的运行时分析
DOI：
--
发表时间：
2017
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Martin Sulzmann;K. Stadtmüller
通讯作者：
K. Stadtmüller