Kyriakos Georgiou

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 31

Top Topics

Energy Consumption

Static Analysis

Top Venues

IEEE Embed. Syst. Lett.

Publications

Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza
Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs. IEEE Embed. Syst. Lett. 16 (1) (2024)
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. CoRR (2023)
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. Comput. J. 65 (3) (2022)
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder, José L. Núñez-Yáñez
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. ICECS 2022 (2022)
Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs. CoRR (2022)
Kris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU. IEEE Embed. Syst. Lett. 14 (3) (2022)
Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov, Kerstin Eder
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor. CoRR (2021)
Kris Nikov, Marcos Martinez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Robust and accurate fine-grain power models for embedded systems with no on-chip PMU. CoRR (2021)
Kyriakos Georgiou, Guillaume Cluzel, Paul Butcher, Yannick Moy
Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. CoRR (2021)
Kyriakos Georgiou, G. Domazakis, Dimitrios Pappas, Athanasios N. Yannacopoulos
Markov chain lumpability and applications to credit risk modelling in compliance with the International Financial Reporting Standard 9 framework. Eur. J. Oper. Res. 292 (3) (2021)
Guillaume Cluzel, Kyriakos Georgiou, Yannick Moy, Clément Zeller
Layered Formal Verification of a TCP Stack. SecDev (2021)
Demetrios A. M. Coutinho, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, José L. Núñez-Yáñez, Kerstin Eder, Samuel Xavier de Souza
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems. CoRR (2020)
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza
When Parallel Speedups Hit the Memory Wall. IEEE Access 8 (2020)
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
Lost in translation: Exposing hidden compiler optimization opportunities. CoRR (2019)
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza
When parallel speedups hit the memory wall. CoRR (2019)
Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Carlos Alberto Valderrama Sakuyama, Kerstin I. Eder, Samuel Xavier de Souza
Energy-Optimal Configurations for Single-Node HPC Applications. HPCS (2019)
Demetrios A. M. Coutinho, Kyriakos Georgiou, Kerstin I. Eder, José L. Núñez-Yáñez, Samuel Xavier de Souza
Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications. VLSI-SoC (2019)
Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza
Exploiting guard band limits for energy gains in MPSoCs. VLSI-SoC (2019)
Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder
The IoT Energy Challenge: A Software Perspective. IEEE Embed. Syst. Lett. 10 (3) (2018)
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. SCOPES (2018)
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. CoRR (2018)
Victor H. F. Oliveira, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza
Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores. ICPE Companion (2018)
Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza
Energy-Optimal Configurations for Single-Node HPC Applications. CoRR (2018)
Samuel Xavier de Souza, Eduardo André Neves, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder
The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems. CoRR (2017)
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder
Energy Transparency for Deeply Embedded Programs. ACM Trans. Archit. Code Optim. 14 (1) (2017)
Demetrios Zeinalipour-Yazti, Christos Laoudias, Kyriakos Georgiou, Georgios Chatzimilioudis
Internet-Based Indoor Navigation Services. IEEE Internet Comput. 21 (4) (2017)
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
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. SAFECOMP Workshops (2017)
Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder
The IoT energy challenge: A software perspective. CoRR (2017)
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
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
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
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder
Energy Transparency for Deeply Embedded Programs. CoRR (2016)
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Static analysis of energy consumption for LLVM IR programs. SCOPES (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA (2015)
Kyriakos Georgiou, Steve Kerrison, Kerstin Eder
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. CoRR (2015)
Kyriakos Georgiou, Timotheos Constambeys, Christos Laoudias, Lambros Petrou, Georgios Chatzimilioudis, Demetrios Zeinalipour-Yazti
Anyplace: A Crowdsourced Indoor Information Service. MDM (1) (2015)
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder
Static energy consumption analysis of LLVM IR programs. CoRR (2014)
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR (2013)