南京大学结丹期教授助你科研筑基【全10讲】
前言及使用指南
甜品专家
1/31
加载中...
【骑河】实战：教你150行代码检测复杂硬件漏洞！
2740播放
【骑河】通用型Verilog静态分析框架来啦！
5300播放
90后南京大学博导VLOG | 编程语言顶会又来亚洲啦
3718播放
90后南京大学博导VLOG | 2025年的第一场学术会议
5237播放
90后南京大学博导VLOG | 代学生参加顶级会议
5279播放
90后南京大学博导VLOG | 南京遇上西雅图
5270播放
90后南京大学教师VLOG | 带学生参加顶级会议
5.9万播放
程序分析框架“太阿”与安全漏洞的那些事 之 Log4Shell篇
1.6万播放
最爱的早餐，卷筒粉！
4006播放
“大学除了专业知识，还应该学些什么？” 南京大学《SICP》课堂李樾老师的絮絮叨叨
4.8万播放
南京大学《软件分析》课程：理论与实践并重的程序分析教学
5198播放
静态程序分析框架“太阿”的设计之道
2.0万播放
南京大学《软件分析》课程16（Soundness and Soundiness）
1.2万播放
南京大学《软件分析》课程15（CFL-Reachability and IFDS）
1.1万播放
南京大学《软件分析》课程14（Datalog-Based Program Analysis）
1.1万播放
南京大学《软件分析》课程13（Static Analysis for Security）
1.3万播放
南京大学《软件分析》课程12（Pointer Analysis - Context Sensitivity II）
9865播放
南京大学《软件分析》课程11（Pointer Analysis - Context Sensitivity I）
1.2万播放
南京大学《软件分析》课程10（Pointer Analysis - Foundations II）
1.2万播放
加载中...
顶部