Friday, February 10, 2023, 12 – 1pm

Program termination is an essential component of formal verification, including in systems code and safety-critical applications where software is expected to be responsive. 

In this talk, I will discuss the size-change principle for ensuring termination — a simple criterion that, when integrated into static type checking, scales to complex programs that operate on both finite and, surprisingly, infinite data structures. This talk draws from my joint work with Frank Pfenning on enabling size-change termination analysis in statically typed programming with futures.

Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.

Event Type: Speaking Skills
Room Number: In Person
Building: Gates Hillman 8102
Speaker's Name: SIVA SOMAYYAJULA
Speaker Website: www.cs.cmu.edu…
Speaker's Professional Title: Ph.D. Student, Computer Science Department, Carnegie Mellon University
Talk Title: Size-Change Termination
Event Poster Title: Poster
Event Poster URL: www.cs.cmu.edu…
For More Information: jennsbl@cs.cmu.edu | deb@cs.cmu.edu
Affiliations: Computer Science Department (CSD)