Xinyuan Sun

According to our database, Xinyuan Sun authored at least 9 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 2024

PMEMgreSQL: Embracing PostgreSQL with Persistent Memory.

Xinyuan Sun, Ji Shi, Yinjun Han, Zhenghua Chen

Proceedings of the Web and Big Data - 8th International Joint Conference, 2024

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., May, 2023

Cooperative AI via Decentralized Commitment Devices.

Xinyuan Sun, Davide Crapis, Matt Stephenson, Barnabé Monnot, Thomas Thiery, Jonathan Passerat-Palmbach

CoRR, 2023

2021

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts.

Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu

CoRR, 2021

How to Exploit a DeFi Project.

Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Towards Verified Price Oracles for Decentralized Exchange Protocols.

Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2018

Towards learning-augmented languages.

Xinyuan Sun

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2016

Kernelized Matrix Factorization for Collaborative Filtering.

Xinyue Liu, Charu C. Aggarwal, Yufeng Li, Xiangnan Kong, Xinyuan Sun, Saket Sathe

Proceedings of the 2016 SIAM International Conference on Data Mining, 2016