SICSA DVF Ron Garcia “Gradual Enforcement of Program Invariants”

Date(s) - 31/08/2018
4:00 pm - 5:00 pm

University of Edinburgh, Informatics Forum

SICSA Distinguished Visiting Fellow Associate Professor Ron Garcia from the University of British Columbia is visiting the University of Edinburgh on Tuesday 31 July 2018. 

Static and dynamic techniques have long been used to check and enforce properties of program executions. They are often seen as diametrically opposed, as exemplified by the long-running kerfuffle over the merits and deficits of static versus dynamic type checking.

Recently, PL researchers and designers have sought to bridge the divide between these approaches to program checking and analysis.  In particular, Gradual Typing sets out to seamlessly combine static and dynamic checking of how closely programs adhere to standard typing disciplines from the literature.  In this context, static and dynamic checking and enforcement are treated as complementary rather than conflicting.
In this talk I will discuss the theory and practice of gradual typing. Both have undergone significant development in the last few years. These advances in language design change not only how dynamic and static checking can work together, but also change how we think about each individually.
Ronald Garcia is an associate professor of Computer Science at the University of British Columbia. His research investigates how fundamental concepts in the theory, implementation, and practice of
programming languages can improve the software development process. His research has focused on static and dynamic type-based reasoning, metaprogramming, and generic programming.
This entry was posted in .