Zhongxin Guo

According to our database, Zhongxin Guo authored at least 9 papers between 2016 and 2024.

Collaborative distances:

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

2024

Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions.

Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen, Yang Chen, Zhongxin Guo, Tzu-Han Hsu, Peng Liu, Nanqing Luo

CoRR, 2024

2023

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts.

Nikolaj S. Bjørner, Shuo Chen, Yang Chen, Zhongxin Guo, Peng Liu, Nanqing Luo

CoRR, 2023

2021

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version).

Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang, Lidong Zhou

CoRR, 2021

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns.

Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum.

Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Characterizing Ethereum's Mining Power Decentralization at a Deeper Level.

Liyi Zeng, Yang Chen, Shuo Chen, Xian Zhang, Zhongxin Guo, Wei Xu, Thomas Moscibroda

Proceedings of the 40th IEEE Conference on Computer Communications, 2021

2018

TEE-KV: Secure Immutable Key-Value Store for Trusted Execution Environments.

Atsushi Koshiba, Ying Yan, Zhongxin Guo, Mitaro Namiki, Lidong Zhou

Proceedings of the ACM Symposium on Cloud Computing, 2018

2016

Learning-Based Characterizing and Modeling Performance Bottlenecks of Big Data Workloads.

Zhongxin Guo, Zheng Hu, Chunhong Zhang, Youer Pu

Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

TR-Spark: Transient Computing for Big Data Analytics.

Ying Yan, Yanjie Gao, Yang Chen, Zhongxin Guo, Bole Chen, Thomas Moscibroda

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016