Sotabase
Home
Researchers
Career
·
Assistant Teaching Professor
,
Tufts University
Publications
(7)
Refinement Types for Ruby
International Conference on Verification, Model Checking and Abstract Interpretation · 2017
21
cited
Sound, heuristic type annotation inference for Ruby
Dynamic Languages Symposium · 2020
13
cited
Type-level computations for Ruby libraries
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
12
cited
SimTyper: sound type inference for Ruby using type equality prediction
Proc. ACM Program. Lang. · 2021
10
cited
Replication package for paper
Artifact Digital Object Group · 2019
Replication Package for Sound, Heuristic Type Annotation Inference for Ruby
2020
Towards More Expressive and Usable Types for Dynamic Languages
2021
Sotabase
Milod Kazerounian | Researcher Profile | Sotabase | Sotabase