Login / Signup
Jingyu Ke
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Bit Vectors
Affine Invariance
Multiscale
Johnson Lindenstrauss
Top Venues
CoRR
ASE
</>
Publications
</>
Tengshun Yang
,
Hongfei Fu
,
Jingyu Ke
,
Naijun Zhan
,
Shiyang Wu
Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs.
CoRR
(2024)
Peisen Yao
,
Jingyu Ke
,
Jiahui Sun
,
Hongfei Fu
,
Rongxin Wu
,
Kui Ren
Demystifying Template-Based Invariant Generation for Bit-Vector Programs.
ASE
(2023)
Hongming Liu
,
Jingyu Ke
,
Hongfei Fu
,
Liqian Chen
,
Guoqiang Li
Affine Disjunctive Invariant Generation with Farkas' Lemma.
CoRR
(2023)