陈俊杰0003 胡文祥 张玲明0001 单号0001 萨尔夫拉兹·库希德 鲁章0023 学习通过代码转换加速符号执行。 6:1-6:27 2018 ECOOP公司 https://doi.org/10.4230/LIPIcs.ECOOP.2018.6 conf/ecop/2018 db/conf/ecoop/ecoop2018.html#ChenHZHK018