1. Compiler Testing with Relaxed Memory Models;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02
2. Revealing Compiler Heuristics Through Automated Discovery and Optimization;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02
3. Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper);Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Boosting Compiler Testing via Eliminating Test Programs with Long-Execution-Time;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
5. Remgen: Remanufacturing a Random Program Generator for Compiler Testing;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10