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  The ACM Web Conference 2026 (prelim version accepted as poster at TTIC workshop)

• Fair Revenue Compensation in Data Markets

Nathan Joe Joseph, Jiaxin Song, Bhaskar Ray Chaudhury

AAMAS 2026 International Conference on Autonomous Agents and Multiagent Systems, 2026

• On the Existence and Complexity of Core-Stable Data Exchange

Jiaxin Song, Pooja Kulkarni, Parnian Shahkar, and Bhaskar Ray Chaudhury.

NeurIPS 2025 Annual Conference on Neural Information Processing Systems, 2025

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 International Conference on Machine Learning, 2025 (code)

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 Proc. Object-Oriented Programming, Systems, Languages, and Applications 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 Proc. ACM Conference on Computer and Communications Security, 2024 (code)

• 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

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 ACM Conference on Economics and Computation, 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 Proc. Conference on Web and Internet Economics, 2024

• 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

• 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  

• 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 Proc. AAAI Conference on Artificial Intelligence, 2023