南京大学《软件分析》课程14（Datalog-Based Program Analysis）
南京大学《软件分析》课程07（Interprocedural Analysis）
南京大学《软件分析》课程10（Pointer Analysis - Foundations II）
南京大学《软件分析》课程15（CFL-Reachability and IFDS）
谭浩强《C程序设计》第5版分章节授课视频 ！！C语言 C语言基础入门 谭浩强 C大学教材
王道2027版操作系统习题讲解
南京大学《软件分析》课程11（Pointer Analysis - Context Sensitivity I）
南京大学《软件分析》课程06（Data Flow Analysis - Foundations II）
90后南京大学教师VLOG | 带学生参加顶级会议
中国人民大学 王珊 数据库系统概论（第6版）课程视频
南京大学《软件分析》课程09（Pointer Analysis - Foundations I）
南京大学《软件分析》课程04（Data Flow Analysis II）
南京大学《软件分析》课程08（Pointer Analysis）
南京大学《软件分析》课程05（Data Flow Analysis - Foundations I）
【全65集】计算机基础教程（组成原理+操作系统+计算机网络）
《编译原理》教学视频
【骑河】通用型Verilog静态分析框架来啦！
南京大学《软件分析》课程01（Introduction）
南京大学《软件分析》课程02（Intermediate Representation）
90后南京大学博导VLOG | 2025年的第一场学术会议
