| On the complexity of maximizing social welfare within fair allocations of indivisible goods X Bu, Z Li, S Liu, J Song, B Tao arXiv preprint arXiv:2205.14296, 2022 | 13 | 2022 |
| Scalable Linear Invariant Generation with Farkas’ Lemma H Liu, H Fu, Z Yu, J Song, G Li Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 204-232, 2022 | 10 | 2022 |
| EFX Allocations Exist for Binary Valuations X Bu, J Song, Z Yu Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW …, 2023 | 8 | 2023 |
| Fair Division with Allocator’s Preference X Bu, Z Li, S Liu, J Song, B Tao International Conference on Web and Internet Economics, 77-94, 2023 | 5 | 2023 |
| Fair Division with Prioritized Agents X Bu, Z Li, S Liu, J Song, B Tao Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 5540-5548, 2023 | 2 | 2023 |
| Fair Division of Indivisible Goods with Comparison-Based Queries X Bu, Z Li, S Liu, J Song, B Tao arXiv preprint arXiv:2404.18133, 2024 | 1 | 2024 |
| You Get What You Give: Reciprocal Fair Federated Learning A Murhekar, BR Chaudhary, J Song, R Mehta Under submission, 2024 | 1 | 2024 |
| FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols H Wen, H Liu, J Song, Y Chen, W Guo, Y Feng arXiv preprint arXiv:2407.06348, 2024 | | 2024 |
| Equational Bit-Vector Solving via Strong Grobner Bases J Song, H Fu, C Zhang arXiv preprint arXiv:2402.16314, 2024 | | 2024 |
| Maximize Egalitarian Welfare for Cake Cutting X Bu, J Song International Workshop on Frontiers in Algorithmics, 263-280, 2023 | | 2023 |
Biaoshuai TaoJohn Hopcroft Center for Computer Science, Shanghai Jiao Tong University在 sjtu.edu.cn 的电子邮件经过验证
