Brianna Ren

Publications

• Type Checking and Inference for Dynamic Languages
  PhD Dissertation


• Sound, Heuristic Type Annotation Inference for Ruby
  Milod Kazerounian, Brianna Ren and Jeffrey S. Foster
  In DLS 2020


• Just-in-Time Static Type Checking for Dynamic Languages
  Brianna Ren and Jeffrey S. Foster
  In Programming Language Design and Implementation (PLDI), Santa Barbara, CA, June 2016.


• Just-in-Time Static Type Checking for Dynamic Languages
  Brianna Ren and Jeffrey S. Foster
  Technical Report, April 2016.


• Contracts for Domain-Specific Languages in Ruby
  T. Stephen Strickland, Brianna Ren and Jeffrey S. Foster
  In Dynamic Languages Symposium (DLS), Portland, OR, October 2014.
  • RDL github - Lightweight system for adding contracts to Ruby.


• The Ruby Type Checker
  Brianna Ren, John Toman, T. Stephen Strickland, and Jeffrey S. Foster
  In Object-Oriented Program Languages and Systems (OOPS) Track at ACM Symposium on Applied Computing, Coimbra, Portugal, March 2013.