|
PhD
Senior SDE, Microsoft
Email: lijiaying1989@gmail.com
Wechat: lijiayinghahaha |
Currently, I am working for Saas team under Bing Platform in Microsoft.
Before that, I was a research scientist in SCIS, SMU (Singapore Management University),
a research fellow in ISTD, SUTD (Singapore University of Technology and Design).
I got my PhD degree from SUTD, and my Bachelor degree from Nankai University.
During my early academic exploration years, I had great honors to be supervised by Prof. Sun Jun (SUTD, Singapore, currently at SMU, Singapore).
I also had a wonderful experience when visiting Prof. Su Zhendong (UC Davis, US, currently at ETH Zurich, Switzerland)
Formal Verification, Machine Learning, Artifitial Intelligence
My primary research focuses on the correctness of software systems, including but not limited to
classic computer programs, smart contracts and artificial intelligence systems. I do try my best to develop elegent theories and techniques to make formal verification more precise, more efficient, more scalable and much easier to design, develop, debug, and apply.
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