On the cost of type-tag soundness. - Ben Greenman; Zeina Migeed (PEPM, 2018)

What is decidable about gradual types? - Zeina Migeed; Jens Palsberg (Proc. ACM Program. Lang., 2020)

Theory and Applications for Gradual Type Migration - Zeina Migeed (2023)

Generalizing Shape Analysis with Gradual Types. - Zeina Migeed; James Reed; Jason Ansel; Jens Palsberg (ECOOP, 2024)

Generalizing Shape Analysis with Gradual Types (Artifact). - Zeina Migeed; Jens Palsberg (Dagstuhl Artifacts Ser., 2024)