报告题目：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奖。