[talks] systems lunch talk 12:30-1:30pm (with noon-12:30pm lunch) on Monday May 2 in CS 302