Yu Feng
发表
Isil Dillig,
Osbert Bastani,
Jiayi Wei,
2019,
Proc. ACM Program. Lang..
Isil Dillig,
Yu Feng,
Osbert Bastani,
2016
.
Alvin Cheung,
Isil Dillig,
Rastislav Bodik,
2019
.
Jacob Van Geffen,
Swarat Chaudhuri,
Isil Dillig,
2017,
PLDI.
Isil Dillig,
Yu Feng,
Ruben Martins,
2016
.
Tamjid Al Rahat,
Yu Feng,
Yuan Tian,
2021,
2110.01005.
Isil Dillig,
Michael D. Ernst,
Sebastian Porst,
2021,
ESEC/SIGSOFT FSE.
Isil Dillig,
Yu Feng,
Osbert Bastani,
2017,
PLDI.
Yu Feng,
Xifeng Yan,
Yanju Chen,
2022,
PLDI.
Yu Feng,
R. Bodík,
Junrui Liu,
2022,
ASPLOS.
Alvin Cheung,
Isil Dillig,
Amy J. Ko,
2021,
CHI.
Isil Dillig,
Yu Feng,
Thomas W. Reps,
2017,
POPL.
Yu Feng,
Yanju Chen,
Işıl Dillig,
2022,
Proc. ACM Program. Lang..
Isil Dillig,
Shuvendu K. Lahiri,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Isil Dillig,
Yu Feng,
Jia Chen,
2019,
Proc. VLDB Endow..
Isil Dillig,
Yu Feng,
Ruben Martins,
2017,
PLDI.
Isil Dillig,
Swarat Chaudhuri,
Yu Feng,
2016,
PLDI.
Isil Dillig,
Yu Feng,
Ruben Martins,
2016,
NDSS.
Isil Dillig,
Jia Chen,
Yu Feng,
2017,
CCS.
Isil Dillig,
Jia Chen,
Yu Feng,
2018,
ESEC/SIGSOFT FSE.
Isil Dillig,
Alexander Aiken,
Yu Feng,
2014,
SIGSOFT FSE.
Yu Feng,
R. Bodík,
Eric Hamilton Atkinson,
2023,
Proceedings of the ACM on Programming Languages.
Giovanni Vigna,
Dipanjan Das,
Christopher Kruegel,
2021,
2022 IEEE Symposium on Security and Privacy (SP).
Rastislav Bodik,
Emina Torlak,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Emina Torlak,
Rastislav Bodík,
Yu Feng,
2019,
ArXiv.
Isil Dillig,
Shuvendu K. Lahiri,
Shuvendu Lahiri,
2021,
ArXiv.
Yu Feng,
Junrui Liu,
Yanju Chen,
2022,
International Conference on Automated Software Engineering.
Yu Feng,
Ruben Martins,
Yanju Chen,
2019,
ESEC/SIGSOFT FSE.
Isil Dillig,
Yu Feng,
Osbert Bastani,
2020,
CAV.
Yu Feng,
Yuepeng Wang,
Maruth Goyal,
2022,
Proc. ACM Program. Lang..
Yu Feng,
Shankara Pailoor,
Yanju Chen,
2023,
IACR Cryptol. ePrint Arch..
Yu Feng,
Chenglong Wang,
Alvin Cheung,
2019,
Proc. ACM Program. Lang..
Ian D. Kretz,
Yu Feng,
John Wang,
2023,
IACR Cryptol. ePrint Arch..
Isil Dillig,
Steven P. Reiss,
Yu Feng,
2016,
ArXiv.