南京大学《软件分析》课程06（Data Flow Analysis - Foundations II）
南京大学《软件分析》课程14（Datalog-Based Program Analysis）
南京大学《软件分析》课程05（Data Flow Analysis - Foundations I）
南京大学《软件分析》课程07（Interprocedural Analysis）
南京大学《软件分析》课程04（Data Flow Analysis II）
南京大学《软件分析》课程10（Pointer Analysis - Foundations II）
南京大学《软件分析》课程01（Introduction）
南京大学《软件分析》课程11（Pointer Analysis - Context Sensitivity I）
南京大学《软件分析》课程15（CFL-Reachability and IFDS）
南京大学《软件分析》课程09（Pointer Analysis - Foundations I）
南京大学《软件分析》课程08（Pointer Analysis）
南京大学《软件分析》课程02（Intermediate Representation）
南京大学《软件分析》课程13（Static Analysis for Security）
“大学除了专业知识，还应该学些什么？” 南京大学《SICP》课堂李樾老师的絮絮叨叨
90后南京大学博导VLOG | 2025年的第一场学术会议
静态程序分析框架“太阿”的设计之道
计算机网络 谢希仁版 课程精讲
南京大学《软件分析》课程16（Soundness and Soundiness）
谭浩强《C程序设计》第5版分章节授课视频 ！！C语言 C语言基础入门 谭浩强 C大学教材
90后南京大学教师VLOG | 带学生参加顶级会议
