Jiaxin Song
("Jiaxin" is pronounced as "jee-ah sheen")
Contact: first name + "s8"@illinois.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. 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, working on program synthesis.
News
[June 2026] I am visiting MIT in Boston this summer, working with Prof. Manish Raghavan and Prof. Kate Donahue. Happy to catch up!
[May 2026] One paper got an oral presentation (top 0.7%) at ICML'26, and one paper got accepted by EC'26
Research
The authors in papers marked with (α-β) are ordered alphabetically; all other papers are ranked by contribution
Algorithmic Game Theory
Revenue-Optimal Pricing for Budget-Constrained Buyers in Data Markets
(α-β) Bhaskar Ray Chaudhury, Jugal Garg, Eklavya Sharma, and Jiaxin Song (Under submission)
Online MMS allocations for Chores
(α-β) Jiaxin Song, Biaoshuai Tao, Wenqian Wang, and Yuhao Zhang
EC 2026
Equilibrium Pricing in Oligopolistic Data Markets
(α-β) Bhaskar Ray Chaudhury, Jugal Garg, Eklavya Sharma, and Jiaxin Song
ICML 2026 (oral, 0.7%)
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
Approximability Landscape of Welfare Maximization within Fair Allocations
(α-β) Xiaolin Bu, Zihao Li, Shengxin Liu, Jiaxin Song, and Biaoshuai Tao
EC 2025
On the Existence and Complexity of Core-Stable Data Exchange
Jiaxin Song, Pooja Kulkarni, Parnian Shahkar, and Bhaskar Ray Chaudhury.
NeurIPS 2025
You Get What You Give: Reciprocally Fair Federated Learning
Aniket Murhekar, Jiaxin Song, Parnian Shahkar, Bhaskar Ray Chaudhury, Ruta Mehta
ICML 2025 (code)
Human-AI Collaboration with Misaligned Preferences
Jiaxin Song, Parnian Shahkar, Kate Donahue, Bhaskar Ray Chaudhury.
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
IJTCS 2023, Best student paper
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/Analysis
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
Service
PC: AAAI'26, EC'26, NeurIPS'26 AE PC: CCS'25
Google Sites
Report abuse