Sign in
Jingyu Ke
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Bit Vectors
Programming Environment
Affine Invariance
Johnson Lindenstrauss
Top Venues
CoRR
ASE
</>
Publications
</>
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)