2023-12-07: Georgi Nakov (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Georgi Nakov (MSP)

LabMate --- your faithful and type-safe Matlab assistant

Abstract

Can you write type-safe Matlab code? And what can we do to help you write type-safe Matlab?

This talk is a report on our progress on LabMate --- an interactive system designed to improve on current best practices of writing Matlab code. Our key proposition can be eloquently described as "add types, all the types".

I will give a brief tour of the various features in LabMate and the rationale behind including them. We will also recall the basics of bidirectional type checking, what to do to incorporate dimension and unit checking, and how to represent matrices with high degree of generality in our type system. Some of the non-trivial challenges with Matlab's permissive syntax and elaborating operator overloading will become apparent in the process.

This is joint work with Fred and Conor.

2023-12-07 11:00:00 UTC
LT210 and Online