Xinyue Liu 刘心悦
I am an assistant professor (弘深青年教师) in the School of Big Data & Software Engineering at Chongqing University (CQU, 重庆大学). I am currently a member of the Intelligent Software Engineering research team led by Hongyu Zhang (张洪宇), Dean of the School.
For visitors, my office is on the CQU Huxi Campus: 重庆大学虎溪校区信息技术科研楼 B707.
Before joining CQU, I completed my Ph.D. at the University at Buffalo under the supervision of Lukasz Ziarek.
Research
My research lies at the intersection of Software Engineering and Programming Language Theory. I am currently interested in AI-assisted analysis and verification of Web applications, especially dependency security in the Web ecosystem. More broadly, I study how AI and program analysis can make software development and maintenance more reliable.
I welcome students driven by curiosity, particularly those eager to make meaningful contributions at the frontiers of human knowledge. This is the place where you can take on challenging problems and gain top-tier publications. If you have a solid programming background with research interests aligned with mine, feel free to contact me at aaronxyliu@cqu.edu.cn.
For Pakistani students, welcome to reach out if your undergraduate university is one of the following: NUST, FAST-NUCES, COMSATS, LUMS, GIKI, ITU, University of the Punjab, UET, Habib University, or a university with equivalent prestige.
From the Blog · 博客导读
这个博客不仅记录研究与技术笔记，也尝试把程序分析、程序语言理论和科研写作中那些“不容易找到入口”的内容，整理成可以连续阅读的系列。内容主要面向刚进入相关方向的本科生、研究生与软件分析爱好者：不追求一次讲完所有知识，而是希望帮助读者建立继续阅读论文和教材所需要的直觉。
软件工程形式化入门
想读懂程序分析论文，又不知道该从哪里补起？这个系列准备了一条不绕远路的入门路线，帮你逐渐建立阅读定义、规则与分析结论的直觉；最后还附有一篇轻松的 形式化历史故事。
Easy Foundations for Programming Languages
从基础概念进入程序语言理论，适合希望系统补充 PL 基础的读者。
5 篇 · 进阶专题Denotational Semantics of Typed Lambda Calculus
围绕类型化 λ 演算的指称语义，进一步理解程序如何映射到数学模型。
12 篇 · 算法基础Randomized Algorithms
从概率工具到经典随机算法，整理分析思路与常见证明方法。
3 篇 · 科研训练Academic Writing
讨论如何思考研究问题、组织论文结构，以及让技术写作更清楚。
如果你刚开始接触软件分析，可以先读“软件工程形式化入门”，再根据兴趣进入 Easy Foundations for Programming Languages。如果已经熟悉基础语义与类型系统，可以直接选择指称语义专题。
Experience
CQU, Big Data & SE School
UB, Computer Science and Engineering Department, USA
NJU (南京大学), Computer Science and Technology Department
Publications
Students
I’m glad to guide the following talented students:
Grants
Chongqing Young Elite Program: “New Methods for Web Front-End Analysis Driven by Runtime Semantics”