Maximal causality reduction for TSO and PSO. - Shiyou Huang; Jeff Huang 001 (OOPSLA, 2016)

Speeding Up Maximal Causality Reduction with Static Dependency Analysis. - Shiyou Huang; Jeff Huang 001 (ECOOP, 2017)

Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. - Shiyou Huang; Bowen Cai 006; Jeff Huang 001 (USENIX ATC, 2017)

SafeCheck: safety enhancement of Java unsafe API. - Shiyou Huang; Jianmei Guo; Sanhong Li; Xiang Li; Yumin Qi; Kingsum Chow; Jeff Huang 001 (ICSE, 2019)