Milod Kazerounian

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Programming Language

Database Driven

Multiresolution

Bayesian Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Milod Kazerounian, Jeffrey S. Foster, Bonan Min
SimTyper: sound type inference for Ruby using type equality prediction. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster
Sound, heuristic type annotation inference for Ruby. DLS (2020)
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
Type-Level Computations for Ruby Libraries. CoRR (2019)
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
Type-level computations for Ruby libraries. PLDI (2019)
Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
Refinement Types for Ruby. VMCAI (2018)
Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
Refinement Types for Ruby. CoRR (2017)