My research is on compiler-based error detection methodologies and focus on making them faster without decreasing reliability. Among others, I am interested in:
[LLVM-HPC] Function/Kernel Vectorization via Loop Vcetorizer.
Matt Masten, Evgeniy Tyurin,Konstantina Mitropoulou, Eric Garcia, Hideki Saito
The Fifth Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), November 2018. pdfvideo@LLVM-DEV'18
[CASES] COMET: Communication-Optimised Multi-threaded Error-detection Technique.
Konstantina Mitropoulou, Vasileios Porpodas and Timothy M. Jones.
International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), October 2016. pdfbibslides