Non-preemptive Semantics for Data-Race-Free Programs. - Siyang Xiao; Hanru Jiang; Hongjin Liang 001; Xinyu Feng 001 (ICTAC, 2018)

Towards certified separate compilation for concurrent programs. - Hanru Jiang; Hongjin Liang 001; Siyang Xiao; Junpeng Zha; Xinyu Feng 001 (PLDI, 2019)

Jump Self-attention: Capturing High-order Statistics in Transformers. - Haoyi Zhou; Siyang Xiao; Shanghang Zhang; Jieqi Peng; Shuai Zhang 026; Jianxin Li 002 (NeurIPS, 2022)