Title: Verified NN4Sys: the What, Why, and How
Time: June 14, 2024, 10:00-11:00
Venue: Meeting Room 414, Information Building
Tencent Meeting ID: 269-457-384
Abstract
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, ASPLOS'23 Distinguished Artifact Award, Janet Fabri Dissertation Prize, and NSF CAREER Award.
