讲 座 人：Prof. Cheng Tan
讲座时间：6月28日（星期三）10:00
讲座地点：邯郸校区计算中心B415
承办单位：复旦大学并行处理研究所、
复旦大学大数据研究院
联 系 人：赵传磊 clzhao20@fudan.edu.cn
演讲简介：
Neural networks are powerful tools. Applying them in computer systems---operating systems, databases, and networked systems---attracts much attention. However, neural networks are complicated black boxes that may produce unexpected results. Our vision is to build neural networks for computer systems (NN4Sys) that satisfy pre-defined correctness properties. We call these verified NN4Sys. In this talk, I will introduce our recent attempts to pursue this vision, including building NN4Sys benchmarks, training verified NN4Sys, and applying NN4Sys in multiple systems.
关于演讲人：
Cheng Tan is an assistant professor at Khoury College of Computer Sciences at Northeastern University. His research interests are in computer systems, verifiable systems, and neural networks for systems. He is a recipient of the SOSP’17 best paper award, Janet Fabri Dissertation Prize, and NSF CAREER Award.