Xinyuan Sun

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Factorization Method

Matrix Factorization

Collaborative Filtering

Top Venues

Financial Cryptography Workshops

Publications

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
Foundational Verification of Smart Contracts through Verified Compilation. CoRR (2024)
Xinyuan Sun, Davide Crapis, Matt Stephenson, Barnabé Monnot, Thomas Thiery, Jonathan Passerat-Palmbach
Cooperative AI via Decentralized Commitment Devices. CoRR (2023)
Yaofeng Tu, Rong Xiao, Yinjun Han, Zhenghua Chen, Hao Jin, Xuecheng Qi, Xinyuan Sun
DDUC: an erasure-coded system with decoupled data updating and coding. Frontiers Inf. Technol. Electron. Eng. 24 (5) (2023)
Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. CoRR (2021)
Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun
Towards Verified Price Oracles for Decentralized Exchange Protocols. FMBC@CAV (2021)
Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie
How to Exploit a DeFi Project. Financial Cryptography Workshops (2021)
Xinyuan Sun
Towards learning-augmented languages. ESEC/SIGSOFT FSE (2018)
Xinyue Liu, Charu C. Aggarwal, Yu-Feng Li, Xiangnan Kong, Xinyuan Sun, Saket Sathe
Kernelized Matrix Factorization for Collaborative Filtering. SDM (2016)