Siyang Xiao

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

High Order Statistics

Concurrent Programs

Process Algebra

Top Venues

Publications

Haoyi Zhou, Siyang Xiao, Shanghang Zhang, Jieqi Peng, Shuai Zhang, Jianxin Li
Jump Self-attention: Capturing High-order Statistics in Transformers. NeurIPS (2022)
Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
Towards certified separate compilation for concurrent programs. PLDI (2019)
Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng
Non-preemptive Semantics for Data-Race-Free Programs. ICTAC (2018)