| Demystifying Template-Based Invariant Generation for Bit-Vector Programs P Yao, J Ke, J Sun, H Fu, R Wu, K Ren 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 2 | 2023 |
| Piecewise Linear Expectation Analysis via -Induction for Probabilistic Programs T Yang, H Fu, J Ke, N Zhan, S Wu arXiv preprint arXiv:2403.17567, 2024 | 1 | 2024 |
| Push-Button Verification for BitVM Implementations H Liu, J Ke, H Wen, R Linus, L George, M Bista, H Karakuş, J Liu, Y Chen, ... Cryptology ePrint Archive, 2024 | 1 | 2024 |
| Affine disjunctive invariant generation with farkas’ lemma J Ke, H Fu, H Liu, Z Sun, L Chen, G Li International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models R Liu, G Li, M Chen, LI Wu, J Ke arXiv preprint arXiv:2412.10483, 2024 | | 2024 |
Hongfei FuShanghai Jiao Tong UniversityVerifierad e-postadress på cs.sjtu.edu.cn
