Kostas Ferles
发表
Isil Dillig,
Jia Chen,
Yu Feng,
2018,
ESEC/SIGSOFT FSE.
Isil Dillig,
Kostas Ferles,
Valentin Wüstholz,
2017,
ESEC/SIGSOFT FSE.
Yannis Smaragdakis,
George Kastrinis,
George Balatsouras,
2017,
SOAP@PLDI.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2020,
ACM SIGOPS Oper. Syst. Rev..
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2018,
PLDI.
Yannis Smaragdakis,
Nefeli Prokopaki-Kostopoulou,
George Kastrinis,
2018,
CC.
Isil Dillig,
Yannis Smaragdakis,
Kostas Ferles,
2018,
PLDI.
Isil Dillig,
Shuvendu K. Lahiri,
Yuepeng Wang,
2019,
VSTTE.
Isil Dillig,
Kostas Ferles,
Jon Stephens,
2020,
Proc. ACM Program. Lang..
Isil Dillig,
Kostas Ferles,
Valentin Wüstholz,
2017,
ArXiv.
Isil Dillig,
Shuvendu K. Lahiri,
Jon Stephens,
2021,
2021 IEEE Symposium on Security and Privacy (SP).