Dec 9

代数子类型的精髓（双语交替版本）

Nov 20

多态类型推理SimpleSub和MLsub

Sep 21

SVF-LLVM指针分析框架

Sep 1

C指针分析基础

Sep 1

类型系统与编程语言

Apr 8

AlgebraticSubtyping

Feb 6

高效的指针分析与二进制类型恢复

Jan 30

二进制代码的多态类型推断Retypd

Dec 11

自动机与程序分析

May 1

NativeSummary：Java/C安卓应用无源码污点分析。