Papers
Papers
The authors in papers marked with (α-β) are ordered alphabetically:)
Manuscripts
M5 Human-AI Collaboration with Misaligned Preferences
Jiaxin Song, Parnian Shahkar, Kate Donahue, and Bhaskar Ray Chaudhury.
Under submission, accepted as poster to the Workshop on Human-AI Collaboration (EC'25)
M4 Tabby: Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits
Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng.
Minor revision at OOPSLA'25
M3 Fair Revenue Distribution in Data Markets
Nathan Joe Joseph*, Jiaxin Song*, and Bhaskar Ray Chaudhury. Under submission.
M2 On the Existence and Complexity of Core-Stable Data Exchange
Jiaxin Song, Pooja Kulkarni, Parnian Shahkar, and Bhaskar Ray Chaudhury. Under submission.
M1 Tessel: An Optimizing Compiler for Efficient Zero-Knowledge Circuits
Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Yanju Chen, Yu Feng.
Under submission, Prelim version accepted to SBC'25
Conferences
C8 Approximability Landscape of Welfare Maximization within Fair Allocations
(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao
EC 2025 ACM Conference on Economics and Computation, 2025
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, 2025 (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
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
Journals
J1 On Existence of Truthful Fair Cake Cutting Mechanisms
(α-β) By Xiaolin Bu, Jiaxin Song, and Biaoshuai Tao
AIJ 2023: Artificial Intelligence Journal