何塞·弗拉戈索·桑托斯 彼得·马克西莫维奇 萨查·埃利·阿永 菲利普·加德纳 Gillian，第一部分：符号执行的多语言平台。 927-942 2020 PLDI公司 https://doi.org/10.1145/3385412.3386014 conf/pldi/2020 db/conf/pldi/pldi2020.html#SantosMAG20