Xinyuan Sun

14 papers A* 1A 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multi-stage reasoning framework for biomedical document-level relation extraction with dynamic memory mechanism.
Eng. Appl. Artif. Intell.
Xinyuan Sun, Jianyuan Yuan, Jinzhong Ning, Yi-Jia Zhang
2025 J jnl
Conditional Recall.
CoRR
Christoph Schlegel, Xinyuan Sun
2025 — conf
FasterTune: A New Paradigm for Database Tuning with Large Language Models and Bayesian Optimization.
APWeb-WAIM (4)
Xiaoqiang Chen, Xinyuan Sun, Bohan Li, Yaofeng Tu, Xiugang Dong
2025 A* conf
Maximal Extractable Value in Batch Auctions.
EC
Mengqian Zhang, Yuhao Li, Xinyuan Sun, Elynn Y. Chen, Xi Chen
2025 J jnl
Research on storage optimization for efficient training of large language models.
World Wide Web (WWW)
Biyun Shang, Feng Zhang, Mo Xu, Junning Xu, Xinyuan Sun, Zhenjiang Dong
2024 J jnl
Foundational Verification of Smart Contracts through Verified Compilation.
CoRR
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria Anna Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
2024 — conf
PMEMgreSQL: Embracing PostgreSQL with Persistent Memory.
APWeb/WAIM (5)
Xinyuan Sun, Ji Shi, Yinjun Han, Zhenghua Chen
2023 J jnl
Cooperative AI via Decentralized Commitment Devices.
CoRR
Xinyuan Sun, Davide Crapis, Matt Stephenson, Barnabé Monnot, Thomas Thiery, Jonathan Passerat-Palmbach
2023 J jnl
DDUC: an erasure-coded system with decoupled data updating and coding.
Frontiers Inf. Technol. Electron. Eng.
Yaofeng Tu, Rong Xiao, Yinjun Han, Zhenghua Chen, Hao Jin, Xuecheng Qi, Xinyuan Sun
2021 — conf
How to Exploit a DeFi Project.
Financial Cryptography Workshops
Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie
2021 J jnl
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts.
CoRR
Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
2021 — conf
Towards Verified Price Oracles for Decentralized Exchange Protocols.
FMBC@CAV
Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun
2018 — conf
Towards learning-augmented languages.
ESEC/SIGSOFT FSE
Xinyuan Sun
2016 A conf
Kernelized Matrix Factorization for Collaborative Filtering.
SDM
Xinyue Liu, Charu C. Aggarwal, Yufeng Li, Xiangnan Kong, Xinyuan Sun, Saket Sathe