Jingyu Ke

According to our database, Jingyu Ke authored at least 12 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Enhancing automated loop invariant generation for complex programs with large language models.

Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li

Sci. Comput. Program., 2026

Piecewise Analysis of Probabilistic Programs via 𝑘-Induction.

Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu

Proc. ACM Program. Lang., 2026

Array-Carrying Symbolic Execution for Function Contract Generation.

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.

Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng

IACR Cryptol. ePrint Arch., 2025

On the Equivalence of Polynomial Commitments for an Identical Polynomial under Different Bases.

Dengji Ma, Jingyu Ke, Sinka Gao, Guoqiang Li

IACR Cryptol. ePrint Arch., 2025

Consistency Verification for Zero-Knowledge Virtual Machine on Circuit-Irrelevant Representation.

Jingyu Ke, Boxuan Liang, Guoqiang Li

IACR Cryptol. ePrint Arch., 2025

Affine Disjunctive Invariant Generation with Farkas' Lemma.

Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs.

Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li

Proceedings of the Formal Methods and Software Engineering, 2025

2024

Push-Button Verification for BitVM Implementations.

Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs.

Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu

CoRR, 2024

2023

Affine Disjunctive Invariant Generation with Farkas' Lemma.

Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li

CoRR, 2023

Demystifying Template-Based Invariant Generation for Bit-Vector Programs.

Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023