The ruby type checker. - Brianna M. Ren; John Toman; T. Stephen Strickland; Jeffrey S. Foster (SAC, 2013)

Contracts for domain-specific languages in Ruby. - T. Stephen Strickland; Brianna M. Ren; Jeffrey S. Foster (DLS, 2014)

Just-in-time static type checking for dynamic languages. - Brianna M. Ren; Jeffrey S. Foster (PLDI, 2016)

Type Checking and Inference for Dynamic Languages. - Brianna M. Ren (2019)

Sound, heuristic type annotation inference for Ruby. - Milod Kazerounian; Brianna M. Ren; Jeffrey S. Foster (DLS, 2020)