Verified Software Components

Speaker: Murali Sitaraman, RESOLVE Research Group, School of Computing, Clemson University, USA
Monday 8 November 2021, 15:00, (online)

Abstract: This talk will summarize over three decades of programming language and software engineering research in the RESOLVE research group. The focus of the talk will be on building verified reusable software components. The talk will cover language design, software design, and verifier design to scale up automated verification of software correctness. Some of the discussion will be devoted to efforts on incorporating the ideas in computer science education and broadening participation in computing.