Faculty Candidate Seminar
Foundations of Optimizable Gradual Typing
This event is free and open to the publicAdd to Google Calendar
Attend this event remotely via BlueJeans: https://bluejeans.com/622752452
while finding that others break common optimizations. We strengthen this observation to provide “unique enforcement theorems” that give us a precise correspondence between certain canonical optimizations and the enforcement technique required to obtain them.
Bio: Max New is a 6th year PhD candidate in Computer Science at Northeastern University. His research uses techniques from logic, type theory and category theory to study language-based approaches to interoperability between systems implemented using multiple programming languages and paradigms.