Ruby Partial-Evaluation Golas

  • Continue looking through more Ruby projects to determine feasibility of type inference for method calls when the receiver, arguments, and optional block and known and safe.
  • Extend paper research to see if others have picked up where Craig Chambers and David Ungar’s Customization: Optimizing Compiler Technology for Self, a Dynamically-Typed Object-Oriented Programming Language from PLDI’89 left off.

Other Academic Related Goals

  • Start working on NSF and other graduate fellowship essays!