Jiaying Li

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Active Learning

Top Venues

Proc. ACM Program. Lang.

Publications

Zhongkui Ma, Jiaying Li, Guangdong Bai
ReLU Hull Approximation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
Verification Assisted Gas Reduction for Smart Contracts. APSEC (2021)
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA (2021)
Long H. Pham, Jiaying Li, Jun Sun
SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR (2020)
Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang
Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding. ICCV (2019)
Jiaying Li, Jun Sun, Bo Gao, Étienne André
Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM (2017)
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
Automatic loop-invariant generation and refinement through selective sampling. ASE (2017)
Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM (2016)
Jiaying Li
An Invariant Inference Framework by Active Learning and SVMs. ICECCS (2015)