Professional service
Program Committee
ICFEM 2023 · ICFEM 2024
Reviewer / Sub-reviewer
APSEC · ICECCS · SATE · ICFEM · TASE · FormaliSE · AST · SETTA · IMLSE · Internetware · SiMLA
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.
Selected peer-reviewed work in programming languages, software engineering, and artificial intelligence.
Jiaying Li, Chunxue Hao
46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)
Zhongkui Ma, Jiaying Li, Guangdong Bai
51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023)
Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai
45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
28th Asia-Pacific Software Engineering Conference (APSEC 2021)
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)
Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang
17th IEEE/CVF International Conference on Computer Vision (ICCV 2019)
Jiaying Li, Jun Sun, Bo Gao, Étienne André
19th International Conference on Formal Engineering Methods (ICFEM 2017)
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
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)
Jiaying Li
20th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2015)
Program Committee
ICFEM 2023 · ICFEM 2024
Reviewer / Sub-reviewer
APSEC · ICECCS · SATE · ICFEM · TASE · FormaliSE · AST · SETTA · IMLSE · Internetware · SiMLA