南京大学结丹期教授助你科研筑基【全10讲】
南京大学《软件分析》课程02(Intermediate Representation)
南京大学《软件分析》课程08(Pointer Analysis)
【北京大学公开课】软件分析技术-熊英飞
01 - Agentic AI 时代的操作系统课:绪论 [2026 南京大学操作系统原理]
南京大学《软件分析》课程14(Datalog-Based Program Analysis)
欢迎来到未来 [01-Raw/26生成式软件工程/NJU]
大语言模型基础之从零到一实现之路 L1:课程简介 [2026南京大学计算机学院选修课]
计算机系统基础(二)南京大学 主讲:袁春风 南京大学
南京大学《软件分析》课程16(Soundness and Soundiness)
南京大学《软件分析》课程05(Data Flow Analysis - Foundations I)
南京大学《软件分析》课程04(Data Flow Analysis II)
南京大学《软件分析》课程06(Data Flow Analysis - Foundations II)
软件分析技术
南京大学《软件分析》课程07(Interprocedural Analysis)
南京大学《软件分析》课程03(Data Flow Analysis I)
南京大学《软件分析》
南京大学《软件分析》课程15(CFL-Reachability and IFDS)
90后南京大学教师VLOG | 带学生参加顶级会议
程序分析框架“太阿”与安全漏洞的那些事 之 Log4Shell篇