Resource Aware ML 2
A Modern Implementation of Automatic Amortized Resource Analysis
Collaborators
Languages Involved
- Implementation: OCaml
- Source: SML, OCaml
Overview
- Designed and implemented a new Intermediate Representation (RaML IR) that leverages de-Bruijn indices
- Engineered frontend to parse, filter, and translate SML code into the RaML IR
- Augmented and implemented a new resource analysis type system by Grosen et al that can analyze programs containing regular recursive types
- Wrote my MS thesis on my implementation and results, published in the CMU SCS Technical Report Collection
- Extended RaML 2 to support handling effects and exceptions and working to publish results (arXiv link forthcoming)
- Developed a novel “backflow” type system that achieves even tighter resource bounds and working toward presenting results