1. Towards Exploiting CPU Elasticity via Efficient Thread Oversubscription;Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing;2021-06-21
2. Subutai: Speeding Up Legacy Parallel Applications Through Data Synchronization;IEEE Transactions on Parallel and Distributed Systems;2021-05-01
3. Pinpoint Data Races via Testing and Classification;2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2019-10
4. Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models;Tools and Algorithms for the Construction and Analysis of Systems;2016
5. Automated Classification of Data Races Under Both Strong and Weak Memory Models;ACM Transactions on Programming Languages and Systems;2015-06-18