Jingyu Ke

According to our database, Jingyu Ke authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

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