Papers

Manuscripts

 M4  Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits

Working paper, released soon

 M3  Fair Revenue Distribution in Data Markets

Working paper, released soon

 M2  Existence and Complexity of Core-Stable Data Exchange

Working paper, released soon

 M1  Approximability Landscape of Welfare Maximization within Fair Allocations

(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

Working paper, last update: Feb 2023

Publications

 C7   You Get What You Give: Reciprocally Fair Federated Learning

By Aniket Murhekar, Jiaxin Song, Parnian Shahkar, Bhaskar Ray Chaudhury, Ruta Mehta 

ICML 2025: International Conference on Machine Learning [code]

 C6   Logarithmic Comparison-Based Query Complexity for Fair Division of Indivisible Goods

(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

WINE 2024: Proc. Conference on Web and Internet Economics, 2024

 C5   FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols

By Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, and Yu Feng

CCS 2024: Proc. ACM Conference on Computer and Communications Security, 2024 [code]

 C4   Fair Division with Allocator's Preference

(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

WINE 2023: Proc. Conference on Web and Internet Economics, 2023

 J1    On Existence of Truthful Fair Cake Cutting Mechanisms

(α-β) By Xiaolin Bu, Jiaxin Song, and Biaoshuai Tao

Artificial Intelligence 2023, Volume 319, Issue C

 C3   EFX Allocation Exists for Binary Valuations

(α-β) By Xiaolin Bu, Jiaxin Song, and Ziqi Yu [Best Student Paper Award]

IJTCS 2023: Proc. International Joint Conference on Theoretical Computer Science, 2023  

 C2   Fair Division with Prioritized Agents

(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao

AAAI 2023: Proc. AAAI Conference on Artificial Intelligence, 2023  

 C1    Scalable Linear Invariant Generation with Farkas’ Lemma

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

OOPSLA 2022: Proc. Object-Oriented Programming, Systems, Languages, and Applications 2022

(The authors in papers marked with (α-β) are ordered alphabetically)

My full paper list can be found in my Google Scholar profile :)