Brianna Ren
Email: bren at cs.umd.edu
PhD, Computer Science, University of Maryland, College Park
Advisor:
Jeff Foster
Research area: program analysis
PLUM
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.