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 (张洪宇).
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 program analysis can make software development and maintenance more reliable.
I welcome conversations about academic collaboration, student advising, and industrial cooperation. If our interests overlap, feel free to contact me at aaronxyliu@cqu.edu.cn.
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