Vasiliki Efstathiou

Biographical Information

Vasiliki Efstathiou holds a PhD in Computer Science from University College London, an MSc in Computer Science from the same University and a BSc in Mathematics from the University of Crete. Her PhD thesis investigated automated theorem proving techniques for implementing computational argumentation based on classical logic. Her research interests lie in the wider area of knowledge representation, reasoning and natural language processing, whereas her current research focuses on mining software repositories with particular interest on developer interaction data.

Publications

Journal Articles

    • Tushar Sharma, Vasiliki Efstathiou, Panos Louridas, and Diomidis Spinellis. Code smell detection by deep direct-learning and transfer-learning. Journal of Systems and Software, 176:110936, 2021.
    • Vasiliki Efstathiou and Anthony Hunter. Algorithms for generating arguments and counterarguments in propositional logic. International Journal of Approximate Reasoning, 52(6):672–704, 2011.

Conference Publications

    • Vasiliki Efstathiou and Diomidis Spinellis. Semantic source code models using identifier embeddings. In 16th International Conference on Mining Software Repositories: Data Showcase Track, MSR '19. 2019.
    • Vasiliki Efstathiou and Diomidis Spinellis. Code review comments: language matters. In 40th International Conference on Software Engineering: New Ideas and Emerging Results Track, ICSE-NIER '18. New York, NY, USA, May 2018. Association for Computing Machinery.
    • Vasiliki Efstathiou, Christos Chatzilenas, and Diomidis Spinellis. Word embeddings for the software engineering domain. In 15th International Conference on Mining Software Repositories: Data Showcase Track, MSR '18. New York, NY, USA, May 2018. Association for Computing Machinery.
    • Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, and Ioannis Kompatsiaris. Sp-act: a hybrid framework for complex activity recognition combining owl and sparql rules. In Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on, 25–30. 2013.
    • Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, and Ioannis Kompatsiaris. Ontology patterns for complex activity modelling. In International Workshop on Rules and Rule Markup Languages for the Semantic Web, 144–157. Springer, 2013.
    • Vasiliki Efstathiou and Anthony Hunter. Jargue: an implemented argumentation system for classical propositional logic. In Third International Conference on Computational Models of Argument. 2010.
    • Vasiliki Efstathiou and Anthony Hunter. An algorithm for generating arguments in classical predicate logic. In European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 119–130. Springer, 2009.
    • Vasiliki Efstathiou and Anthony Hunter. Focused search for arguments from propositional knowledge. In Second International Conference on Computational Models of Argument, 159–170. 2008.
    • Vasiliki Efstathiou and Anthony Hunter. Algorithms for effective argumentation in classical propositional logic: a connection graph approach. In International Symposium on Foundations of Information and Knowledge Systems, 272–290. Springer, 2008.

Datasets

    • Vasiliki Efstathiou and Diomidis Spinellis. Source code embeddings. February 2019. https://github.com/vefstathiou/scode-ft-embeddings.
    • Vasiliki Efstathiou, Christos Chatzilenas, and Diomidis Spinellis. Word embeddings for the software engineering domain. March 2018. https://github.com/vefstathiou/SO_word2vec.