Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
October 2024
Xian Zhang
Senior Researcher
Publications
Publications by Year
-
-
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 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
The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 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
IEEE Conference on Computer Communications (INFOCOM) | May 2021
Publications by Research Area
-
-
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
The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 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
IEEE Conference on Computer Communications (INFOCOM) | May 2021
-
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 2021
Publications by Type
-
-
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 2021
-
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 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
The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 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
IEEE Conference on Computer Communications (INFOCOM) | May 2021