Refinement Types for Ruby. - Milod Kazerounian; Niki Vazou; Austin Bourgerie; Jeffrey S. Foster; Emina Torlak (VMCAI, 2018)

Type-level computations for Ruby libraries. - Milod Kazerounian; Sankha Narayan Guria; Niki Vazou; Jeffrey S. Foster; David Van Horn (PLDI, 2019)

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

SimTyper: sound type inference for Ruby using type equality prediction. - Milod Kazerounian; Jeffrey S. Foster; Bonan Min (Proc. ACM Program. Lang., 2021)

Towards More Expressive and Usable Types for Dynamic Languages. - Milod Kazerounian (2021)