Doctoral Speaking Skills Talk - Matias Scharager
May 4, 2026 1:00PM—2:00PM
Location:
5117
-
Gates and Hillman Centers
Speaker:
MATIAS SCHARAGER,
Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://pi314mm.com/
Types of States in Separation Logic
The store passing translation allows us to provide functional types to impredicative operations. We build an intuitive understanding of the type of stores and references in this setting. We discuss generalizations to these type definitions and their relevance to separation logic.
Presented in Partial Fulfillment of the CSD Speaking Skills Requirement
Contact
Matt Stewart