Zhongxin Guo

Publication Activity (10 Years)

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

Top Topics

Top Venues

Publications

Nikolaj Bjørner, Shuo Chen, Yang Chen, Zhongxin Guo, Peng Liu, Nanqing Luo
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts. CoRR (2023)
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. SOSP (2021)
Liyi Zeng, Yang Chen, Shuo Chen, Xian Zhang, Zhongxin Guo, Wei Xu, Thomas Moscibroda
Characterizing Ethereum's Mining Power Decentralization at a Deeper Level. INFOCOM (2021)
Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang, Lidong Zhou
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version). CoRR (2021)
Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns. SRDS (2021)
Atsushi Koshiba, Ying Yan, Zhongxin Guo, Mitaro Namiki, Lidong Zhou
TEE-KV: Secure Immutable Key-Value Store for Trusted Execution Environments. SoCC (2018)
Zhongxin Guo, Zheng Hu, Chunhong Zhang, Youer Pu
Learning-Based Characterizing and Modeling Performance Bottlenecks of Big Data Workloads. HPCC/SmartCity/DSS (2016)
Ying Yan, Yanjie Gao, Yang Chen, Zhongxin Guo, Bole Chen, Thomas Moscibroda
TR-Spark: Transient Computing for Big Data Analytics. SoCC (2016)