Publications and Working Papers

 Conference Papers

• [C3] Fair Division of Allocator's Preference.[WINE'23]

Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

• [C2] Fair Division of Prioritized Agents. [AAAI'23]

Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

• [C1] Scalable linear invariant generation with Farkas’ lemma. [OOPSLA'22]

Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li

Journal Papers

• [J1] On Existence of Truthful Fair Cake-Cutting Mechanisms. [Artificial Intelligence]

Xiaolin Bu, Jiaxin Song, and Biaoshuai Tao

Manuscripts

• [M4] Fair Division of Indivisible Goods with Comparison-Based Queries.

Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

• [M3] Equational Bit-Vector Solving via Strong Groebner Bases

Jiaxin Song, Hongfei Fu, and Charles Zhang

• [M2] On the Complexity of Maximizing Social Welfare within Fair Allocations of Indivisible Goods.

Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

• [M1] Towards Denotational-Semantics-based Compiler Correctness Verification

Jiaxin Song, Zhang Cheng, and Qinxiang Cao