Jiaying Li 李家营

Researcher in Programming Languages, Formal Methods, and Artificial Intelligence

I develop elegant theories and practical techniques to make formal verification more precise and efficient, while making verification tools easier to design, implement, debug, and apply.

i@jiaying.li Selected publications

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.

PLDI2025

Support Triangle Machine
Jiaying Li, Hao Chunxue
ACM SIGPLAN Conference on Programming Language Design and Implementation
POPL2024

ReLU Hull Approximation
Zhongkui Ma, Jiaying Li, Guangdong Bai
ACM SIGPLAN Symposium on Principles of Programming Languages
QRS2023

Towards an Effective and Interpretable Refinement Approach for DNN Verification
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
ICSE2023

A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization
Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai
APSEC2021Best Paper

Verification Assisted Gas Reduction for Smart Contracts
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
ISoLA2021

sVerify: Verifying Smart Contracts through Lazy Annotation and Learning
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
ICCV2019

Deep Clustering by Gaussian Mixture Variational Autoencoders with Graph Embedding
Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang
ICFEM2017

Classification-based Parameter Synthesis for Parametric Timed Automata
Jiaying Li, Jun Sun, Bo Gao, Étienne André
ASE2017

Automatic Loop-invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
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
ICECCS2015

An Invariant Inference Framework using Active Learning and SVMs
Jiaying Li

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