Kyriakos Georgiou

According to our database, Kyriakos Georgiou authored at least 30 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs.

Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza

IEEE Embed. Syst. Lett., March, 2024

Fredholm Neural Networks.

Kyriakos Georgiou, Constantinos I. Siettos, Athanasios N. Yannacopoulos

CoRR, 2024

2022

Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU.

Kris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder

IEEE Embed. Syst. Lett., 2022

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities.

Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder

Comput. J., 2022

Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis.

Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez

Proceedings of the 29th IEEE International Conference on Electronics, Circuits and Systems, 2022

2021

Markov chain lumpability and applications to credit risk modelling in compliance with the International Financial Reporting Standard 9 framework.

Kyriakos Georgiou, G. Domazakis, Dimitrios Pappas, Athanasios N. Yannacopoulos

Eur. J. Oper. Res., 2021

Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case.

Kyriakos Georgiou, Guillaume Cluzel, Paul Butcher, Yannick Moy

CoRR, 2021

A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor.

Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov, Kerstin Eder

CoRR, 2021

Layered Formal Verification of a TCP Stack.

Guillaume Cluzel, Kyriakos Georgiou, Yannick Moy, Clément Zeller

Proceedings of the IEEE Secure Development Conference, 2021

2020

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems.

Demetrios A. M. Coutinho, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, José L. Núñez-Yáñez, Kerstin Eder, Samuel Xavier de Souza

CoRR, 2020

When Parallel Speedups Hit the Memory Wall.

Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza

IEEE Access, 2020

2019

Exploiting guard band limits for energy gains in MPSoCs.

Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza

Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications.

Demetrios A. M. Coutinho, Kyriakos Georgiou, Kerstin I. Eder, José L. Núñez-Yáñez, Samuel Xavier de Souza

Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

Energy-Optimal Configurations for Single-Node HPC Applications.

Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Carlos Alberto Valderrama Sakuyama, Kerstin I. Eder, Samuel Xavier de Souza

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

2018

The IoT Energy Challenge: A Software Perspective.

Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder

IEEE Embed. Syst. Lett., 2018

Energy-Optimal Configurations for Single-Node HPC Applications.

Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza

CoRR, 2018

Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores.

Victor H. F. Oliveira, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption.

Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

2017

Enabling energy transparency for deeply embedded programs.

Kyriakos Georgiou

PhD thesis, 2017

Energy Transparency for Deeply Embedded Programs.

Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder

ACM Trans. Archit. Code Optim., 2017

Internet-Based Indoor Navigation Services.

Demetrios Zeinalipour-Yazti, Christos Laoudias, Kyriakos Georgiou, Georgios Chatzimilioudis

IEEE Internet Comput., 2017

The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems.

Samuel Xavier de Souza, Eduardo André Neves, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder

CoRR, 2017

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2.

Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley, Bastian Farkas, Rolf Meyer, Mladen Berekovic

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

ENTRA: Whole-systems energy transparency.

Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl

Microprocess. Microsystems, 2016

2015

On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs.

Kyriakos Georgiou, Steve Kerrison, Kerstin Eder

CoRR, 2015

Static analysis of energy consumption for LLVM IR programs.

Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

Anyplace: A Crowdsourced Indoor Information Service.

Kyriakos Georgiou, Timotheos Constambeys, Christos Laoudias, Lambros Petrou, Georgios Chatzimilioudis, Demetrios Zeinalipour-Yazti

Proceedings of the 16th IEEE International Conference on Mobile Data Management, 2015

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.

Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014

Static energy consumption analysis of LLVM IR programs.

Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder

CoRR, 2014

2013

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.

Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013