Affiliation:
1. Tsinghua University, China
Funder
National Key Research and Development Program of China
Guangdong Science and Technology Department
National Natural Science Foundation of China
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
2. Petrification: Software Model Checking for Programs with Dynamic Thread Management;Lecture Notes in Computer Science;2023-12-30
3. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
4. Tolerate Control-Flow Changes for Sound Data Race Prediction;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models;ACM Transactions on Programming Languages and Systems;2023-03-03