1. SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20
2. Greybox Fuzzing for Concurrency Testing;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
3. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
4. An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs;ACM Transactions on Software Engineering and Methodology;2023-11-23
5. RaceBench: A Triggerable and Observable Concurrency Bug Benchmark;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10