1. MODIFICATION OF A THREAD POOL ALGORITHM WITH MULTIPLE TASK QUEUES;Computer systems and network;2023-12-16
2. Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16
3. Efficient Synchronization-Light Work Stealing;Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures;2023-06-17
4. HGMatch: A Match-by-Hyperedge Approach for Subgraph Matching on Hypergraphs;2023 IEEE 39th International Conference on Data Engineering (ICDE);2023-04
5. Synchronization Efficient Scheduling of Fine-grained Irregular Programs;2023 31st Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP);2023-03