[Colloquium] Skye Soss MS Presentation/Mar 10, 2025

[via Colloquium]

This is an announcement of Skye Soss's MS Presentation
===============================================
Candidate: Skye Soss

Date: Monday, March 10, 2025

Time:  2 PM CST

Location: JCL 223

Title: Flow Analysis with Types

Abstract: The design of the Standard ML language favors simplicity, which means that it does not support certain features, especially those related to the type system. Some advanced programming techniques are only possible with sufficiently advanced type systems. These techniques include data structures that utilize implicit recursive slowdown such as Finger Trees [Okasaki] and stream fusion systems [Coutts et al, Kiselyov et al]. The above programs rely on extensions to a Hindley-Milner type system such as polymorphic recursion, existential quantification, and higher-rank universal quantification. The use of the language extensions can make analysis more challenging. Compilers forlanguages with support for these features such as OCaml and Haskell’s GHC erase types prior to optimization or do not perform abstract interpretation-based control-flow analysis. While those compilers support these language features, they do not take full advantage of them to improve analysis results. I extended the 3CPS Standard ML compiler to support existential types, higher-rank universal quantification, and polymorphic recursion. Additionally, I integrated Fluet’s Type- and Control-Flow analysis to take full advantage of the new language features. This work shows that the type-based filtering done in TCFA is practical to implement and can improve the quality of analysis results of real programs.

Advisor: John Reppy

Committee Members: John Reppy, Ravi Chugh