Waddle: Always-Canonical Intermediate Representation
By Eric Fritz – Doctoral Dissertation
Abstract: Optimizations that are able to rely on the presence of canonical properties of the program under optimization can be written to be more robust and efficient than an equivalent but generalized optimization which also handles non-canonical programs. If a canonical property is required but broken earlier in an earlier optimization, it must be rebuilt –- often from scratch. This additional necessary work can be intractable when many optimizations are applied over large programs. This dissertation introduces a methodology for constructing optimizations so that the program remains in an always-canonical form as the program is mutated, making only local changes to restore broken properties.
Charon: The Design of a Limiting Microservice
By Eric Fritz, Andy Brezinsky, and Andy Ortlieb
Abstract: Charon is a service designed to increase the stability of a distributed system by preventing the overcommitment of limited resources during extreme load. The service monitors the access history of resources and is used as a central authority which either grants or denies requests for resource acquisition and use. This paper describes the architecture and feature set of Charon, as well as the rationale behind design decisions.
By Eric Fritz and Tian Zhao – in Science of Computer Programming; Volume 141 Issue C