Title:

TAL/SV: An Abstract Typed Assembly Language with Stateful Views

Presented by Sa Cui

Abstract:

Typed Assembly Language (TAL) extends traditional untyped assembly
languages with typing annotations, memory management primitives,
and a sound set of typing rules. These typing rules guarantee the
memory safety, control flow safety, and type safety of TAL 
programs. However, memory allocation and initialization in TAL are
implemented in a limited way. In this talk, we present an abstract
typed assembly language called TAL/SV, in which the type system
supports a notion of recursive stateful views that is recently
introduced in the framework Applied Type System (ATS). TAL/SV
improves upon TAL, enabling certain data structures such as arrays
to be easily handled at assembly level. Also, several examples are
shown to provide us with a concrete feel as to how the notion of
stateful views is applied at assembly language level.