Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.