Jiaying Li

According to our database, Jiaying Li authored at least 11 papers between 2015 and 2024.

Collaborative distances:

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

2024

ReLU Hull Approximation.

Zhongkui Ma, Jiaying Li, Guangdong Bai

Proc. ACM Program. Lang., January, 2024

2023

Towards an Effective and Interpretable Refinement Approach for DNN Verification.

Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization.

Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.

Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Verification Assisted Gas Reduction for Smart Contracts.

Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

SOCRATES: Towards a Unified Platform for Neural Network Verification.

Long H. Pham, Jiaying Li, Jun Sun

CoRR, 2020

2019

Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding.

Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

2017

Automatic loop-invariant generation and refinement through selective sampling.

Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Classification-Based Parameter Synthesis for Parametric Timed Automata.

Jiaying Li, Jun Sun, Bo Gao, Étienne André

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Scaling BDD-based Timed Verification with Simulation Reduction.

Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2016

2015

An Invariant Inference Framework by Active Learning and SVMs.

Jiaying Li

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015