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)