[CS] TODAY: Jason Carr MS PresentationDec 10, 2025

[via cs]

This is an announcement of Jason Carr's MS Presentation
===============================================
Candidate: Jason Carr

Date: Wednesday, December 10, 2025

Time:  1 pm CST

Remote Location: https://uchicago.zoom.us/j/93321348170?pwd=kbvmDHZ9bTNw1o7FoybBaXWPgbpfdS.1

Location: JCL 257

Title: Formally-verified Space Safety for Optimizations

Abstract: Program optimizations are typically expected to be sound, meaning that they do not change program behavior. Their impact to improve program performance is tested, but not proven; and it is possible to even worsen asymptotic behavior. In this work, I proved that changing allocation point of objects maintains the space usage of the program, assuming careful management of closures. The critical contribution was proving this relation despite a many-to-one relations of the program heaps.

Advisors: John Reppy

Committee: John Reppy, Robert Rand, Matthew Fluet