TR-Spark: Transient Computing for Big Data Analytics. - Ying Yan 006; Yanjie Gao; Yang Chen; Zhongxin Guo; Bole Chen; Thomas Moscibroda (SoCC, 2016)

Learning-Based Characterizing and Modeling Performance Bottlenecks of Big Data Workloads. - Zhongxin Guo; Zheng Hu 001; Chunhong Zhang; Youer Pu (HPCC/SmartCity/DSS, 2016)

TEE-KV: Secure Immutable Key-Value Store for Trusted Execution Environments. - Atsushi Koshiba; Ying Yan; Zhongxin Guo; Mitaro Namiki; Lidong Zhou (SoCC, 2018)

Characterizing Ethereum's Mining Power Decentralization at a Deeper Level. - Liyi Zeng; Yang Chen; Shuo Chen 001; Xian Zhang 001; Zhongxin Guo; Wei Xu; Thomas Moscibroda (INFOCOM, 2021)

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. - Yang Chen; Zhongxin Guo; Runhuai Li; Shuo Chen 001; Lidong Zhou; Yajin Zhou; Xian Zhang 001 (SOSP, 2021)

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns. - Xian Zhang 001; Xiaobing Guo; Zixuan Zeng; Wenyan Liu 001; Zhongxin Guo; Yang Chen; Shuo Chen 001; Qiufeng Yin; Mao Yang 004 (SRDS, 2021)

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns (Extended Version). - Xian Zhang 001; Xiaobing Guo; Zixuan Zeng; Wenyan Liu 001; Zhongxin Guo; Yang Chen; Shuo Chen 001; Qiufeng Yin; Mao Yang 004; Lidong Zhou (CoRR, 2021)

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)

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)

FEA-Bench: A Benchmark for Evaluating Repository-Level Code Generation for Feature Implementation. - Wei Li 232; Xin Zhang 099; Zhongxin Guo; Shaoguang Mao; Wen Luo 001; Guangyue Peng; Yangyu Huang; Houfeng Wang; Scarlett Li (ACL (1), 2025)

EpiCoder: Encompassing Diversity and Complexity in Code Generation. - Yaoxiang Wang; Haoling Li; Xin Zhang 099; Jie Wu; Xiao Liu 029; Wenxiang Hu; Zhongxin Guo; Yangyu Huang; Ying Xin; Yujiu Yang; Jinsong Su; Qi Chen 009; et al. (CoRR, 2025)

Sigma: Differential Rescaling of Query, Key and Value for Efficient Language Models. - Zhenghao Lin; Zihao Tang; Xiao Liu 029; Yeyun Gong; Yi Cheng; Qi Chen 009; Hang Li; Ying Xin; Ziyue Yang; Kailai Yang; Yu Yan; Xiao Liang; et al. (CoRR, 2025)

Beyond Prompt Content: Enhancing LLM Performance via Content-Format Integrated Prompt Optimization. - Yuanye Liu; Jiahang Xu; Li Lyna Zhang; Qi Chen 009; Xuan Feng; Yang Chen; Zhongxin Guo; Yuqing Yang 001; Peng Cheng 005 (CoRR, 2025)