1. ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation;IEEE Access;2023
2. Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2022-12-19
3. Verifying optimizations of concurrent programs in the promising semantics;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Lasagne: a static binary translator for weak memory model architectures;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Sequential reasoning for optimizing compilers under weak memory concurrency;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09