6月27日：cheng tan
发布时间：2023-06-20 浏览量：272
报告题目：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奖。