Publication Details Author Yuxiang Peng Jacob Young Pengyu Liu Xiaodi Wu Publication Type Journal Article Year of Publication 2023 Volume 8 DOI 10.1145/3632923 URL https://arxiv.org/abs/2303.02775 Journal Proceedings of the ACM on Programming Languages DOIGoogle Scholar Contributors Groups QuICS Wu Research Group Start Page 2425–2455 Date Published 01/2024