PhD
Email: lijiaying1989@gmail.com
Wechat: lijiayinghahaha
|
|
PhD
Email: lijiaying1989@gmail.com
Wechat: lijiayinghahaha |
I got my PhD degree from SUTD, Singapore, and my Bachelor degree from Nankai University, China.
During my early academic exploration years, I was supervised by Prof. Sun Jun.
I had a wonderful experience when visiting Prof. Su Zhendong.
Programming Languages, Artifitial Intelligence
In recent years, I am spending most of my time to propose elegant theories and develop practical techniques to make formal verification more precise, more efficient and much easier to design, develop, debug, and apply.
Support Triangle Machine
Jiaying Li, Hao Chunxue
In the 51st ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI), 2025
ReLU Hull Approximation
Zhongui Ma, Jiaying Li, Guangdong Bai
In the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024
Towards an Effective and Interpretable Refinement Approach for DNN Verification
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
In the 23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2023
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization
Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai
In the 45th IEEE/ACM International Conference on Software Engineering (ICSE), 2023
Verification Assisted Gas Reduction for Smart Contracts
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
In the 28th Asia-Pacific Software Engineering Conference (APSEC), 2021, Best Paper
sVerify: Verifying Smart Contracts through LazyAnnotation and Learning
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
In the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2021
Deep Clustering by Gaussian Mixture Variational Autoencoders with Graph Embedding
Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang
In the International Conference in Computer Vision (ICCV), 2019
Classification-based Parameter Synthesis for Parametric Timed Automata
Jiaying Li, Jun Sun, Bo Gao and '{E}tienne Andr'{e}
In the 19th International Conference on Formal Engineering Methods (ICFEM), 2017
Automatic Loop-invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le and Shang-Wei Lin
In the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
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
In the 18th International Conference on Formal Engineering Methods (ICFEM), 2016
An Invariant Inference Framework using Active Learning and SVMs
Jiaying Li
In the 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015
Boosting DeepPoly with Abstraction Refinement for Neural Network Verification
Long H. Pham, Jiaying Li, Jun Sun
Preprint, 2022
Verifying Smart Contracts by Learning Contract Invariants
Bo Gao, Ling Shi, Jiaying Li, Jun Sun
Preprint, 2021
SOCRATES: Towards a Unified Platform for Neural Network Verification
Long H. Pham, Jiaying Li, Jun Sun
Preprint, 2021
Learning Invariants with Dynamic States Partitioning
Jiaying Li, Jun Sun
Preprint, 2018