时间：2024年12月21日周六上午10:00-12:00
地点：鼓楼校区，新教201
每人演讲5分钟左右，问答3分钟左右
| 报告人 | 题目 | 下载 |
|---|---|---|
| 主题一：C/C++ | ||
| 胡雨晨 | C语言中的数组访问越界：产生原因、预防和检测 | [论文] [演示文稿] |
| 鲍辰睿 | Barrett模乘算法：C/C++中整数除法的高效实现 | [论文] [演示文稿] |
| 陈天骢 | C++20模块: 从C++14到C++20的编译效率跃升 | [论文] [演示文稿] |
| 何彦锋 | 从C++98到C++14：试论C++版本革新对算法竞赛选手的影响 | [论文] [演示文稿] |
| 赵益 | Lambda演算如何影响现代工业编程语言设计——以C++ Lambda与std::function为例 | [论文] [演示文稿] |
| 主题二：Python，Kotlin | ||
| 葛家韬 | Python中ctypes库调用C函数功能的实现 | [论文] [演示文稿] |
| 魏思远 | C++和Python3内存安全性比较 | [论文] [演示文稿] |
| 温永潜 | Scheme和Python中迭代操作的实现差异 | [论文] [演示文稿] |
| 黄嘉诚 | Result<T>模式：错误处理的未来方向 | [论文] [演示文稿] |
| 主题三：理论，算法 | ||
| 孙启翔 | λ演算中不动点组合子的个数是无穷的 | [论文] [演示文稿] |
| 马修齐 | 基于大语言模型的循环不变量的自动生成 | [论文] [演示文稿] |
| 王博涵 | 一个超计算模型——封闭类时曲线计算机对理论计算的意义和制造的可能性 | [论文] [演示文稿] |
| 史善邦 | 基于0-1规划、遗传算法的校运动会报名方案优化 | [论文] [演示文稿] |
| 张瑞珉 | Slope Trick：一种特殊的动态规划优化方式 | [论文] [演示文稿] |
| 因故无法参加 | ||
| 刘功泽 | Dev-C++和Godot的比较 | [论文] [演示文稿] |