Milod Kazerounian

According to our database, Milod Kazerounian authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Towards More Expressive and Usable Types for Dynamic Languages.

Milod Kazerounian

PhD thesis, 2021

SimTyper: sound type inference for Ruby using type equality prediction.

Milod Kazerounian, Jeffrey S. Foster, Bonan Min

Proc. ACM Program. Lang., 2021

2020

Sound, heuristic type annotation inference for Ruby.

Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019

Type-level computations for Ruby libraries.

Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Refinement Types for Ruby.

Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018