Under submission
About
I am a PhD student at the University of Illinois Urbana-Champaign, advised by Prof. Bhaskar Ray Chaudhury. I work on computational economics and algorithmic game theory, with a side interest in program synthesis.
Previously, I received my bachelor’s degree in computer science from Shanghai Jiao Tong University in 2023, where I worked with Prof. Biaoshuai Tao on algorithmic game theory and Prof. Qinxiang Cao on formal methods. In summer 2024, I worked with Prof. Yu Feng on program synthesis.
You can reach me at jiaxins8@illinois.edu.
News
I’m joining Amazon as an Applied Scientist Intern in the Automated Reasoning group in San Jose, working on verification of IAM refinement.
I visited MIT this summer, working with Prof. Manish Raghavan and Prof. Kate Donahue.
Our data pricing paper was selected for an ICML 2026 oral presentation, and our online chores paper was accepted at EC 2026.
Research
EC 2026
Online MMS Allocation for Chores
Summary
The general lower bound exactly matches the trivial n-MMS guarantee. Better bounds are possible when the number or range of distinct disutilities is limited.
ICML 2026Spotlight + oral
Equilibrium Pricing in Oligopolistic Data Markets
Summary
Exact Nash equilibria may fail to exist. The paper establishes a pricing profile where switching to a uniform price cannot improve any seller’s revenue by more than a factor of two.
WWW 2026
AAMAS 2026
EC 2025
NeurIPS 2025
On the Existence and Complexity of Core-Stable Data Exchanges
Summary
Concave payoffs and convex costs guarantee existence, but computing a core-stable exchange is PPAD-hard. A pivoting approach performs well in the paper’s experiments.
ICML 2025
EAAMO 2025
SBC 2025
Tessel: An Optimizing Compiler for Efficient Zero-Knowledge Circuits
OOPSLA 2025
WINE 2024
CCS 2024
WINE 2023
IJTCS 2023Best student paper
Artificial Intelligence2023
AAAI 2023
OOPSLA 2022
Service
- PC
- AAAI 2026, EC 2026, NeurIPS 2026, NeurIPS AI for Verifiable Coding Workshop 2026, AAAI 2027
- AE PC
- CCS'25