Jiaying Li

12 papers A* 3B 1C 5Journal 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Support Triangle Machine.
Proc. ACM Program. Lang.
Jiaying Li, Chunxue Hao
2024 J jnl
ReLU Hull Approximation.
Proc. ACM Program. Lang.
Zhongkui Ma, Jiaying Li, Guangdong Bai
2023 A* conf
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization.
ICSE
Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai
2023 C conf
Towards an Effective and Interpretable Refinement Approach for DNN Verification.
QRS
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
2021 C conf
Verification Assisted Gas Reduction for Smart Contracts.
APSEC
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
2021 C conf
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.
ISoLA
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
2020 J jnl
SOCRATES: Towards a Unified Platform for Neural Network Verification.
CoRR
Long H. Pham, Jiaying Li, Jun Sun
2019 A* conf
Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding.
ICCV
Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang
2017 A* conf
Automatic loop-invariant generation and refinement through selective sampling.
ASE
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
2017 C conf
Classification-Based Parameter Synthesis for Parametric Timed Automata.
ICFEM
Jiaying Li, Jun Sun, Bo Gao, Étienne André
2016 C conf
Scaling BDD-based Timed Verification with Simulation Reduction.
ICFEM
Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
2015 B conf
An Invariant Inference Framework by Active Learning and SVMs.
ICECCS
Jiaying Li