| Gas estimation and optimization for smart contracts on ethereum C Li 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 22 | 2021 |
| Blockchain-based bidirectional updates on fine-grained medical data C Li, Y Cao, Z Hu, M Yoshikawa 2019 IEEE 35th International Conference on Data Engineering Workshops (ICDEW …, 2019 | 14 | 2019 |
| Trace-based dynamic gas estimation of loops in smart contracts C Li, S Nie, Y Cao, Y Yu, Z Hu IEEE Open Journal of the Computer Society 1, 295-306, 2020 | 13 | 2020 |
| Dynamic gas estimation of loops using machine learning C Li, S Nie, Y Cao, Y Yu, Z Hu Blockchain and Trustworthy Systems: Second International Conference …, 2020 | 8 | 2020 |
| Unleashing the Power of Clippy in Real-World Rust Projects C Li, Y Yu, H Wu, L Carlig, S Nie, L Jiang Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | 1 | 2024 |
| 良结构下推系统的可覆盖性问题的下界 李春淼， 蔡小娟， 李国强 软件学报 29 (10), 3009-3020, 2018 | | 2018 |
| Hardness Results for Coverability Problem of Well-Structured Pushdown Systems C Li, X Cai Language and Automata Theory and Applications: 11th International Conference …, 2017 | | 2017 |
Zhenjiang HuProfessor, School of Computer Science, Peking University在 pku.edu.cn 的电子邮件经过验证
Zhenjiang HuProfessor, School of Computer Science, Peking University在 pku.edu.cn 的电子邮件经过验证
Yang CaoTokyo Institute of Technology在 c.titech.ac.jp 的电子邮件经过验证