Jingyu Ke

According to our database, Jingyu Ke authored at least 8 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

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

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

Haoyu Wei, Jingyu Ke, Ruibang Liu, 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

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