报告题目：Verified NN4Sys: the What, Why, and How
报告时间：6月27日 10:00-11:00
线下报告地点：理科楼B1002
主持人：张民 教授
报告摘要：
神经网络是强大的工具。将它们应用于计算机系统（操作系统、数据库和网络系统）引起了广泛关注。然而，神经网络是复杂的黑盒子，可能产生意想不到的结果。我们的愿景是构建适用于计算机系统的神经网络（NN4Sys），满足预定义的正确性属性。我们将这些经过验证的NN4Sys称为verified NN4Sys。在本次讲座中，我将介绍我们最近追求这一愿景的尝试，包括构建NN4Sys基准、训练经过验证的NN4Sys以及将NN4Sys应用于多个系统中。
报告人简介：
Cheng Tan是美国东北大学库里计算机科学学院的助理教授。他的研究兴趣涵盖计算机系统、可验证系统以及系统中的神经网络。他曾获得SOSP'17最佳论文奖、Janet Fabri博士论文奖和NSF CAREER奖。