LI Jiaying (李家营)

PhD Lead Scientist, R3 Lab Staff Software Engineer, OmniVision Email: lijiaying1989@gmail.com Wechat: lijiayinghahaha

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)

Education Background

• Ph.D. in Information Systems Technology and Design, Singapore University of Technology and Design, Singapore
• Visiting Scholar in Department of Computer Science, University of California, Davis, California, USA
• M.Sc. (dropped) in Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
• B.E. in College of Software, Nankai University, Tianjin, China

Research Interests

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 elegant theories and techniques to make formal verification more precise, more efficient, more scalable and much easier to design, develop, debug, and apply.

Publications

• Support Triangle Machine
  Jiaying Li, Chunxue Hao
  In the 46st ACM SIGPLAN Conference 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 Award

• 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

Preprints

• 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

Professional Services

• Program Committee Members: ICFEM 2023, ICFEM 2024
• Reviewer/Sub-Reviewer: APSEC 2016, ICECCS 2017, SATE 2018, ICFEM2018, ICFEM 2019, TASE 2019,
  FormaliSE 2019, AST 2020, SETTA 2020, IMLSE 2020, Internetware 2020, SiMLA 2022, ICFEM 2023

Supervised/Co-supervised Students

• Chunxue Hao, R3 Lab
• Hao Guan, Ph.D. student in SUST and UQ, 2022-2023
• Zhongui Ma, Master student in UQ, 2022-2023
• Ruijuan Li, Master student in CAS, 2022
• Bo Gao, Ph.D. student in SUTD, 2019-2021