1. Trace and Algebraic Semantics for Partial Store Order Memory Model;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
2. CSim
2;ACM Transactions on Programming Languages and Systems;2021-03-31
3. Compositional Reasoning for Shared-Variable Concurrent Programs;Formal Methods;2018
4. A Modeling Language for MapReduce Programing in a Storage System Perspective;Journal of Signal Processing Systems;2017-11-21
5. Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models;Tools and Algorithms for the Construction and Analysis of Systems;2016