Tue 17 Jan 2023 14:00 - 15:00 at Scollay - Industry presentation + 1 talk Chair(s): Sukyoung Ryu

MATLAB Coder is a commercial compiler that converts MATLAB code to embeddable C/C++ code. It is used by thousands of engineers to deploy signal processing and control algorithms.

In this talk, we describe how MATLAB Coder uses online partial evaluation and types to convert dynamically-typed MATLAB code into idiomatic statically-typed C/C++ code. It uses function specialization, both on types and on values, as the underlying mechanism for complete static type inference, for generating statically-typed compiler-friendly code, and for detection of program errors at compile time.

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Industry presentation + 1 talkPEPM at Scollay
Chair(s): Sukyoung Ryu KAIST
Industry talk
MATLAB Coder: Partial Evaluation in Practice
Denis Gurchenkov MathWorks, Fred Smith MathWorks
Modular Construction of Multi-sorted Free Extensions
Guillaume Allais University of St Andrews, Nathan Corbyn University of Oxford, Ohad Kammar University of Edinburgh, Nachiappan Valliappan Chalmers University of Technology, Sam Lindley University of Edinburgh, Jeremy Yallop University of Cambridge
File Attached