© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Abstract for Seminar
MATLAB is a popular dynamic programming language used for scientific and numerical programming. As a language, it has evolved from a small scripting language intended as an interactive interface to numerical libraries, to a very popular language supporting many language features and libraries. The overloaded syntax and dynamic nature of the language, plus the somewhat organic addition of language features over the years, makes static analysis of modern MATLAB quite challenging.
In this talk I will motivate why it is important for programming language and compiler researchers to work on MATLAB and I will provide a high-level overview of McLab, a suite of compiler tools my group is developing at McGill. The main technical focus of the talk will be on the foundational problem of resolving the meaning of an identifier in MATLAB. To solve this problem we have developed two analyses, a flow-insensitive "kind analysis" and a flow-sensitive "handle analysis". I will present the analyses, some experimental results and show how the results of the analysis are required for other compiler tools.