个人简介

副教授，但是临时工 (计算机软件研究所 )

• 教操作系统、做 PL 的软工人
  • 所以有了这门很不一样的《操作系统》课
  • 南京大学 “我最喜爱的老师” (感谢大家的认可)
• ICSE'21 Best Paper Award (Program synthesis)
• SOSP'23 Best Paper Award (Software testing/validation)

课程简介

重要信息都在课程主页发布

• 传统：不强制要求到课 (但不保证录制不会翻车)
• 后续重要信息将群发邮件通知

助教

• 赵超懿 (cyzhao@smail.nju.edu.cn)
• 刘泽森 (zesenliu@smail.nju.edu.cn)

Office Hour

• TBD (大家有时间的偏好么？)

我做了一个违背祖宗的决定

在《操作系统》课上不再讲操作系统 (内核)

• 为同学们呈现一门 “编程课”
• 每节课都带着 “实现一点什么” 的目标
• 为迎接 AI 新时代做好准备

Bigger Picture

• 试图推动课程体系的改革：精简必修课的学时和内容，向 “现代化” 努力

课程简介：成绩组成

期末考试 50%

• 以课堂内容为主

随堂期中测验 10%

• 放轻松，跟上课堂示例代码即可

实验 40%

• MiniLab Only
  • 加入了 设计的实验
• 都是有趣的编程实验

课程简介：蹭课

仅限校内同学

• 从 此链接 报名蹭课
  • 两周后截止
  • 通过 @smail.nju.edu.cn 发送 TOKEN
  • (正式选修的同学无需报名)

今年有一个变化

• 我们有了一个 Unit Test 框架
• 所有同学 (包括无 Online Judge) 的体验都会提升
  • 最终目标：完全开源，然后我就不上这门课啦

建议与反馈

邮件：jyy@nju.edu.cn

• 保证邮件 100% 回复 (太久不回可以戳我)
• 线上反馈：会看，但不会回复
  • (我不想当网红)
• 但感谢一切 critical 的建议
  • 批评总是有原因的
  • 我会试图考虑背后的逻辑/改动的必要

直接在 QQ 群提出

• 未必能看到/及时回复