• Chunmiao Li. Gas Estimation and Optimization for Smart Contracts on Ethereum. In the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021 Doctoral Symposium), Nov. 15-19, 2021


• Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu. Trace-based Dynamic Gas Estimation of Loops in Smart Contracts. IEEE Open Journal of the Computer Society, 2020 [PDF]


• Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu. Dynamic Gas Estimation of Loops using Machine Learning. In International Conference on Blockchain and Trustworthy Systems (BlockSys'2020), Aug. 06-07, 2020


• Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa. Blockchain-based Bidirectional Updates on Fine-grained Medical Data. In First International Workshop on Blockchain and Data Management (BlockDM 2019), Macau SAR, China, Apr 8, 2019 [PDF] [Slides]


• Chunmiao Li, Xiaojuan Cai and Guoqiang Li. Lower Bound for Coverability Problem of Well-Structured Pushdown Systems. Journal of Software, 2018 [PDF]


• Chunmiao Li and Xiaojuan Cai. Hardness Results for Coverability Problem of Well-Structured Pushdown Systems. In Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017). LNCS 10168, pp 435-446, 2017. [PDF]
  Previous oral presentation at the 2nd Young Researchers Workshop on Formal Methods YR-SETTA 2016


• Chunmiao Li, Yijun Yu and Zhenjiang Hu. Collaborative Development Environment: Fusing Human Insights into Automated Program Repair. In the 15th Asian Symposium on Programming Languages and Systems (APLAS), the finalist award at SRC (Student Research Competition) (3 were selected out of 15), 2017


• Chunmiao Li and Xiaojuan Cai. On Hardness of Recursive Integer Program Analysis. In the 1st National Conference on Formal Methods and Applications (FMAC’16), 2016, accepted (as poster)

My current research interest focuses on gas related research on blockchain platforms. Before, I did some researches on pushdown systems.