Jingyu Ke

14 papers A* 1C 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Array-Carrying Symbolic Execution for Function Contract Generation.
CoRR
Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li
2026 J jnl
Enhancing automated loop invariant generation for complex programs with large language models.
Sci. Comput. Program.
Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li
2026 J jnl
Piecewise Analysis of Probabilistic Programs via ๐‘˜-Induction.
Proc. ACM Program. Lang.
Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu
2025 โ€” conf
Affine Disjunctive Invariant Generation with Farkas' Lemma.
VMCAI (1)
Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li
2025 J jnl
Consistency Verification for Zero-Knowledge Virtual Machine on Circuit-Irrelevant Representation.
IACR Cryptol. ePrint Arch.
Jingyu Ke, Boxuan Liang, Guoqiang Li
2025 J jnl
On the Equivalence of Polynomial Commitments for an Identical Polynomial under Different Bases.
IACR Cryptol. ePrint Arch.
Dengji Ma, Jingyu Ke, Sinka Gao, Guoqiang Li
2025 J jnl
Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng
2025 J jnl
ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li
2025 C conf
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs.
ICFEM
Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li
2024 J jnl
Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models.
CoRR
Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke
2024 J jnl
Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs.
CoRR
Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu
2024 J jnl
Push-Button Verification for BitVM Implementations.
IACR Cryptol. ePrint Arch.
Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng
2023 J jnl
Affine Disjunctive Invariant Generation with Farkas' Lemma.
CoRR
Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li
2023 A* conf
Demystifying Template-Based Invariant Generation for Bit-Vector Programs.
ASE
Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren