Zhongxin Guo

According to our database, Zhongxin Guo authored at least 13 papers between 2016 and 2025.

Collaborative distances:

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

2025

Beyond Prompt Content: Enhancing LLM Performance via Content-Format Integrated Prompt Optimization.

Yuanye Liu, Jiahang Xu, Li Lyna Zhang, Qi Chen, Xuan Feng, Yang Chen, Zhongxin Guo, Yuqing Yang, Peng Cheng

CoRR, February, 2025

Sigma: Differential Rescaling of Query, Key and Value for Efficient Language Models.

Zhenghao Lin, Zihao Tang, Xiao Liu, Yeyun Gong, Yi Cheng, Qi Chen, Hang Li, Ying Xin, Ziyue Yang, Kailai Yang, Yu Yan, Xiao Liang, Shuai Lu, Yiming Huang, Zheheng Luo, Lei Qu, Xuan Feng, Yaoxiang Wang, Yuqing Xia, Feiyang Chen, Yuting Jiang, Yasen Hu, Hao Ni, Binyang Li, Guoshuai Zhao, Jui-Hao Chiang, Zhongxin Guo, Chen Lin, Kun Kuang, Wenjie Li, Yelong Shen, Jian Jiao, Peng Cheng, Mao Yang

CoRR, January, 2025

EpiCoder: Encompassing Diversity and Complexity in Code Generation.

Yaoxiang Wang, Haoling Li, Xin Zhang, Jie Wu, Xiao Liu, Wenxiang Hu, Zhongxin Guo, Yangyu Huang, Ying Xin, Yujiu Yang, Jinsong Su, Qi Chen, Scarlett Li

CoRR, January, 2025

FEA-Bench: A Benchmark for Evaluating Repository-Level Code Generation for Feature Implementation.

Wei Li, Xin Zhang, Zhongxin Guo, Shaoguang Mao, Wen Luo, Guangyue Peng, Yangyu Huang, Houfeng Wang, Scarlett Li

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

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