Author:
Yuan Ting,Li Guangwei,Lu Jie,Liu Chen,Li Lian,Xue Jingling
Funder
National Key R&D Program of China
Foundation for Innovative Research Groups
National Natural Science Foundation of China
Australian Research Council
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Indigo3: A Parallel Graph Analytics Benchmark Suite for Exploring Implementation Styles and Common Bugs;ACM Transactions on Parallel Computing;2024-08-27
2. Golang Defect Detection based on Value Flow Analysis;2024 9th International Conference on Electronic Technology and Information Science (ICETIS);2024-05-17
3. Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Automated verification of concurrent go programs via bounded model checking;Automated Software Engineering;2023-08-26
5. RaceBench: A Triggerable and Observable Concurrency Bug Benchmark;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10