Jiaying Li

Jiaying Li 李家营

Researcher in Programming Languages, Formal Methods, and Artificial Intelligence

My research interests lie at the intersection of programming languages, formal verification, and artificial intelligence. Currently, I focus on developing elegant theories and practical techniques for problems in AI safety, static analysis, constraint solving, and related areas. Feel free to drop me an email if you are interested in these research problems.

i [at] jiaying.li WeChat: lijiayinghahaha Selected publications
Illustrated portrait of Jiaying Li
About
  • PhD, Singapore University of Technology and Design (SUTD), supervised by Prof. Sun Jun.
  • Visiting Scholar at the University of California, Davis (UC Davis), working with Prof. Su Zhendong.
  • Graduate studies at the Institute of Computing Technology, Chinese Academy of Sciences (ICT, CAS).
  • Bachelor’s degree, Nankai University, China.
Selected publications

Publications

Selected peer-reviewed work in programming languages, software engineering, and artificial intelligence.

  1. PLDI2025

    Support Triangle Machine

    Jiaying Li, Chunxue Hao

    46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)

  2. POPL2024

    ReLU Hull Approximation

    Zhongkui Ma, Jiaying Li, Guangdong Bai

    51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)

  3. QRS2023

    Towards an Effective and Interpretable Refinement Approach for DNN Verification

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

    23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023)

  4. ICSE2023

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

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

    45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)

  5. APSEC2021Best Paper

    Verification Assisted Gas Reduction for Smart Contracts

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

    28th Asia-Pacific Software Engineering Conference (APSEC 2021)

  6. ISoLA2021

    sVerify: Verifying Smart Contracts through Lazy Annotation and Learning

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

    10th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2021)

  7. ICCV2019

    Deep Clustering by Gaussian Mixture Variational Autoencoders with Graph Embedding

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

    17th IEEE/CVF International Conference on Computer Vision (ICCV 2019)

  8. ICFEM2017

    Classification-based Parameter Synthesis for Parametric Timed Automata

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

    19th International Conference on Formal Engineering Methods (ICFEM 2017)

  9. ASE2017

    Automatic Loop-invariant Generation and Refinement through Selective Sampling

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

    32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

  10. ICFEM2016

    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

    18th International Conference on Formal Engineering Methods (ICFEM 2016)

  11. ICECCS2015

    An Invariant Inference Framework using Active Learning and SVMs

    Jiaying Li

    20th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2015)

Preprints 4 papers
Academic community

Professional service

Program Committee
ICFEM 2023 · ICFEM 2024

Reviewer / Sub-reviewer
APSEC · ICECCS · SATE · ICFEM · TASE · FormaliSE · AST · SETTA · IMLSE · Internetware · SiMLA

Mentoring

  • Hao GuanPhD · SUST & UQ · 2022–23
  • Zhongkui MaMaster · UQ · 2022–23
  • Ruijuan LiMaster · CAS · 2022
  • Bo GaoPhD · SUTD · 2019–21