Jiaxin Song
("Jiaxin" is pronounced as "jee-ah sheen")
Contact: jiaxins8 [at] illinois [dot] edu
Embedded Files
About
I am a second-year Ph.D. student at the University of Illinois Urbana-Champaign, where I am fortunate to be advised by Prof. Bhaskar Ray Chaudhury. My current research interests lie in computational economics and algorithmic game theory (see my research page for more details). In addition, I have a side interest in program verification.
Prior to this, I received my bachelor’s degree in computer science from Shanghai Jiao Tong University in 2023, where I was fortunate to be advised by Prof. Biaoshuai Tao on topics in algorithmic game theory and by Prof. Qinxiang Cao in formal methods. I also had a fantastic research internship experience with Prof. Yu Feng in the summer of 2024.
Research
The authors in papers marked with (α-β) are ordered alphabetically; all other papers are ranked by contribution
Data Economics
Revenue-Optimal Pricing for Budget-Constrained Buyers in Data Markets
(α-β) Bhaskar Ray Chaudhury, Jugal Garg, Eklavya Sharma, and Jiaxin Song.
Data Pricing via Competitive Equilibrium
(α-β) Bhaskar Ray Chaudhury, Jugal Garg, Aniket Murhekar, and Jiaxin Song
WWW 2026
Fair Revenue Compensation in Data Markets
Nathan Joe Joseph, Jiaxin Song, Bhaskar Ray Chaudhury
AAMAS 2026
On the Existence and Complexity of Core-Stable Data Exchange
Jiaxin Song, Pooja Kulkarni, Parnian Shahkar, and Bhaskar Ray Chaudhury.
NeurIPS 2025
Fair Division
Online MMS allocations for Chores
(α-β) Jiaxin Song, Biaoshuai Tao, Wenqian Wang, and Yuhao Zhang. (Under submission)
Approximability Landscape of Welfare Maximization within Fair Allocations
(α-β) Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao
EC 2025
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
Fair Division with Allocator's Preference
(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao
WINE 2023
EFX Allocation Exists for Binary Valuations
(α-β) By Xiaolin Bu, Jiaxin Song, and Ziqi Yu (Best Student Paper Award)
IJTCS 2023
On Existence of Truthful Fair Cake Cutting Mechanisms
(α-β) By Xiaolin Bu, Jiaxin Song, and Biaoshuai Tao
Artificial Intelligence Journal 2023
Fair Division with Prioritized Agents
(α-β) By Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao
AAAI 2023
Program Verification
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
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.
OOPSLA 2025 (code)
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, and Yu Feng
CCS 2024 (code)
Scalable Linear Invariant Generation with Farkas’ Lemma
By Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li
OOPSLA 2022
Human-AI Collaboration & Collaborative Learning
Human-AI Collaboration with Misaligned Preferences
Jiaxin Song, Parnian Shahkar, Kate Donahue, Bhaskar Ray Chaudhury.
Prelim version accepted to EAAMO'25 (Under submission)
You Get What You Give: Reciprocally Fair Federated Learning
Aniket Murhekar, Jiaxin Song, Parnian Shahkar, Bhaskar Ray Chaudhury, Ruta Mehta
ICML 2025 (code)
Service PC: AAAI'26, EC'26 AE PC: CCS'25
Google Sites
Report abuse