Yanyan's Wiki

课程主页

研究工作

jyy 来自南京大学计算机软件研究所System & Program Analysis Research (SPAR) 小组,研究方向是 “软件自动化”,使用计算机自动解决软件工程中一系列具有挑战性的实际问题,包括自动化测试与分析 (testing and analysis) 与领域程序的自动合成 (synthesis)。

Project-N (Github)

大约 2010 年,jyy 开始了南京大学的《操作系统》课程实验魔改;在经历了很多次重构以后,余子濠带着 NEMU 全系统模拟器加入了这个项目,再之后我们就实现了 “本科生自制全系统栈 (CPU、操作系统、应用软件栈)”。

课程存档