5th Year Master's Thesis Presentation - Lauren Sands

— 12:00pm

Location:
In Person - Gates Hillman 7101

Speaker:
LAUREN SANDS , Master's Student
Computer Science Department
Carnegie Mellon University

Typed Closure Conversion with Sum Types for Analyzing Higher Order Functions in Resource Aware ML

Resource Aware ML (RaML) is a tool that statically infers resource bounds for OCaml programs. However, RaML often cannot analyze partially ap-plied higher-order functions which are common in OCaml code. In this thesis, we present a closure conversion transformation that rewrites high-er-order programs into first-order ones analyzable by RaML. Unlike tradi-tional closure conversion which wraps functions with environments repre-sented using existential types, we use sum types, which allows RaML to access internal types and infer bounds. We show that our transformation is well-typed and preserves semantics and cost, ensuring that analysis of the transformed program remains sound.

Thesis Committee
Jan Hoffman (Chair)
Stephanie Balzer

Additional Information 

For More Information:
amalloy@cs.cmu.edu

Add event to Google
Add event to iCal