Theory 48
- 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
- Denotational Semantics of Typed Lambda Calculus V — CPO Model for Imperative Programs
- Denotational Semantics of Typed Lambda Calculus IV — CPO Model for PCF
- Denotational Semantics of Typed Lambda Calculus III — Full Continuous Hierarchy
- Denotational Semantics of Typed Lambda Calculus II — Partial Orders and Continuous Functions
- Denotational Semantics of Typed Lambda Calculus I — Henkin Models
- 类型化 Lambda 演算的指称语义：五篇文章的进阶路线
- Easy Foundations for Programming Languages X — Imperative Programs
- Easy Foundations for Programming Languages IX — Universal Algebra and Algebraic Data Types
- Easy Foundations for Programming Languages VIII — Proof Systems
- Easy Foundations for Programming Languages VII — Simply-Typed Lambda Calculus
- Easy Foundations for Programming Languages VI — PCF Extensions (Unit, Sum, Recursive Types)
- Easy Foundations for Programming Languages V — PCF Iteration and Recursion
- Easy Foundations for Programming Languages IV — PCF Semantics
- Randomized Algorithm XII — Prediction with Expert Advice
- Randomized Algorithm XI — 2-SAT & Markov Chain
- Easy Foundations for Programming Languages III — The Language PCF & Its Syntax
- Randomized Algorithm X — DNF & Monte Carlo Method
- Randomized Algorithm IX — Hashing
- Randomized Algorithm VIII — Balls into Bins
- Easy Foundations for Programming Languages II — Notation and Mathematical Conventions
- Easy Foundations for Programming Languages I — Introduction
- Randomized Algorithm VII — Fingerprinting
- Randomized Algorithm VI — Bipartite Perfect Matching & Parallel Algorithm
- Randomized Algorithm V — Polynomial Identity Testing
- Programming Language Pragmatics
- 程序语言基础：从语法、语义到命令式程序的阅读地图
- Randomized Algorithm IV— Integer Programming
- Randomized Algorithm III— Concentration Inequalities
- Randomized Algorithm II — Global Min Cut & Median
- Randomized Algorithm I — Introduction
- 随机算法：从概率直觉到经典方法的阅读地图