According to our database1, Kostas Ferles authored at least 10 papers between 2017 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2021
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 27th International Conference on Compiler Construction, 2018
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017