Ferdowsifard, Kasra, Barke, Shraddha, Peleg, Hila · Proceedings of the ACM on Programming Languages · 2021