SE 17
- Web Program Analysis I: From a URL to an Interaction
- 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序”
- Formalization in Software Engineering (7): A Short History of Formal Methods
- 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界
- Formalization in Software Engineering (6): AI Wrote the Code. Who Checks It?
- 软件工程形式化入门（五）：准确、快速，还是可靠？静态分析的工程取舍
- Formalization in Software Engineering (5): Precision, Speed, and Soundness
- 软件工程形式化入门（四）：分析器为什么会停下来？从 Transfer Function 到不动点
- Formalization in Software Engineering (4): Why Does the Analyzer Stop? Transfer Functions and Fixed Points
- 软件工程形式化入门（三）：不用记住每个值——从具体状态走向抽象解释
- Formalization in Software Engineering (3): From Concrete States to Abstract Interpretation
- 软件工程形式化入门（二）：程序会走到哪里？从代码、CFG 到程序语义
- Formalization in Software Engineering (2): Where Can a Program Go? From Code and CFGs to Program Semantics
- 软件工程形式化入门（一）：别怕公式——从集合、映射读懂程序状态
- Formalization in Software Engineering (1): Reading Sets, Mappings, and Program States
- 软件工程形式化入门系列
- A Beginner's Guide to Formalization in Software Engineering