Kernelized Matrix Factorization for Collaborative Filtering. - Xinyue Liu 003; Charu C. Aggarwal; Yufeng Li 008; Xiangnan Kong; Xinyuan Sun; Saket Sathe 001 (SDM, 2016)

Towards learning-augmented languages. - Xinyuan Sun (ESEC/SIGSOFT FSE, 2018)

Towards Verified Price Oracles for Decentralized Exchange Protocols. - Kinnari Dave; Vilhelm Sjöberg; Xinyuan Sun (FMBC@CAV, 2021)

How to Exploit a DeFi Project. - Xinyuan Sun; Shaokai Lin; Vilhelm Sjöberg; Jay Jie (Financial Cryptography Workshops, 2021)

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. - Shaokai Lin; Xinyuan Sun; Jianan Yao; Ronghui Gu (CoRR, 2021)

Cooperative AI via Decentralized Commitment Devices. - Xinyuan Sun; Davide Crapis; Matt Stephenson; Barnabé Monnot; Thomas Thiery; Jonathan Passerat-Palmbach (CoRR, 2023)

DDUC: an erasure-coded system with decoupled data updating and coding. - Yaofeng Tu; Rong Xiao; Yinjun Han; Zhenghua Chen; Hao Jin; Xuecheng Qi; Xinyuan Sun (Frontiers Inf. Technol. Electron. Eng., 2023)

PMEMgreSQL: Embracing PostgreSQL with Persistent Memory. - Xinyuan Sun; Ji Shi; Yinjun Han; Zhenghua Chen (APWeb/WAIM (5), 2024)

Foundational Verification of Smart Contracts through Verified Compilation. - Vilhelm Sjöberg; Kinnari Dave; Daniel Britten; Maria A Schett; Xinyuan Sun; Qinshi Wang; Sean Noble Anderson; Steve Reeves; Zhong Shao 001 (CoRR, 2024)

Maximal Extractable Value in Batch Auctions. - Mengqian Zhang; Yuhao Li 002; Xinyuan Sun; Elynn Y. Chen; Xi Chen 010 (EC, 2025)

Research on storage optimization for efficient training of large language models. - Biyun Shang; Feng Zhang; Mo Xu; Junning Xu; Xinyuan Sun; Zhenjiang Dong (World Wide Web (WWW), 2025)