Chunmiao Li

17 papers A* 1B 1C 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Advanced Smart Contract Vulnerability Detection via LLM-Powered Multi-Agent Systems.
IEEE Trans. Software Eng.
Zhiyuan Wei, Jing Sun, Yuqiang Sun, Ye Liu, Daoyuan Wu, Zijian Zhang, Xianhao Zhang, Meng Li, Yang Liu, Chunmiao Li, Mingchao Wan, Jin Dong, Liehuang Zhu
2025 B conf
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM.
ICECCS
Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang
2025 J jnl
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM.
CoRR
Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang
2025 J jnl
Universally Composable Termination Analysis of Tendermint.
CoRR
Zhixin Dong, Xian Xu, Yuhang Zeng, Mingchao Wan, Chunmiao Li
2025 — conf
Walnut: A Generic Framework with Enhanced Scalability for BFT Protocols.
ACISP (1)
Lei Tian, Chenke Wang, Yu Long, Xian Xu, Mingchao Wan, Chunmiao Li, Shifeng Sun, Dawu Gu
2025 J jnl
Walnut: A Generic Framework with Enhanced Scalability for BFT Protocols.
IACR Cryptol. ePrint Arch.
Lei Tian, Chenke Wang, Yu Long, Xian Xu, Mingchao Wan, Chunmiao Li, Shifeng Sun, Dawu Gu
2024 — conf
Unleashing the Power of Clippy in Real-World Rust Projects.
ICSE Companion
Chunmiao Li, Yijun Yu, Haitao Wu, Luca Carlig, Shijie Nie, Lingxiao Jiang
2023 — conf
NTIRE 2023 Challenge on Image Super-Resolution (×4): Methods and Results.
CVPR Workshops
Yulun Zhang, Kai Zhang, Zheng Chen, Yawei Li, Radu Timofte, Junpei Zhang, Kexin Zhang, Rui Peng, Yanbiao Ma, Licheng Jia, Huaibo Huang, Xiaoqiang Zhou, Yuang Ai, Ran He, Yajun Qiu, Qiang Zhu, Pengfei Li, Qianhui Li, Shuyuan Zhu, Dafeng Zhang, Jia Li, Fan Wang, Chunmiao Li, TaeHyung Kim, Jungkeong Kil, Eon Kim, Yeonseung Yu, Beomyeol Lee, Subin Lee, Seokjae Lim, Somi Chae, Heungjun Choi, Zhi-Kai Huang, YiChung Chen, Yuan-Chun Chiang, Hao-Hsiang Yang, Wei-Ting Chen, Hua-En Chang, I-Hsiang Chen, Chia-Hsuan Hsieh, Sy-Yen Kuo, Ui-Jin Choi, Marcos V. Conde, Sunder Ali Khowaja, Jiseok Yoon, Ik Hyun Lee, Garas Gendy, Nabil Sabor, Jingchao Hou, Guanghui He, Zhao Zhang, Baiang Li, Huan Zheng, Suiyi Zhao, Yangcheng Gao, Yanyan Wei, Jiahuan Ren, Jiayu Wei, Yanfeng Li, Jia Sun, Zhanyi Cheng, Zhiyuan Li, Xu Yao, Xinyi Wang, Danxu Li, Xuan Cui, Jun Cao, Cheng Li, Jianbin Zheng, Anjali Sarvaiya, Kalpesh Prajapati, Ratnadeep Patra, Pragnesh Barik, Chaitanya Rathod, Kishor P. Upla, Kiran B. Raja, Raghavendra Ramachandra, Christoph Busch
2023 J jnl
Unleashing the Power of Clippy in Real-World Rust Projects.
CoRR
Chunmiao Li, Yijun Yu, Haitao Wu, Luca Carlig, Shijie Nie, Lingxiao Jiang
2021 A* conf
Gas Estimation and Optimization for Smart Contracts on Ethereum.
ASE
Chunmiao Li
2020 — conf
Dynamic Gas Estimation of Loops Using Machine Learning.
BlockSys
Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu
2020 J jnl
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts.
IEEE Open J. Comput. Soc.
Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu
2019 — conf
Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data.
ICDE Workshops
Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa
2019 J jnl
Blockchain-based Bidirectional Updates on Fine-grained Medical Data.
CoRR
Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa
2017 J jnl
A Robust Text Classifier Based on Denoising Deep Neural Network in the Analysis of Big Data.
Sci. Program.
Aziguli Wulamu, Yuanyu Zhang, Yonghong Xie, Dezheng Zhang, Xiong Luo, Chunmiao Li, Yao Zhang
2017 C conf
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems.
LATA
Chunmiao Li, Xiaojuan Cai
2010 — conf
Stress and Deflection Analysis of a Complicated Frame Structure with Special-Shaped Columns.
ICICA (2)
Yingli Liu, Teliang Yan, Chunmiao Li