Follow
Kyriakos Georgiou
Kyriakos Georgiou
AdaCore
Verified email at bristol.ac.uk - Homepage
Title
Cited by
Cited by
Year
The IoT energy challenge: A software perspective
K Georgiou, S Xavier-de-Souza, K Eder
IEEE Embedded Systems Letters 10 (3), 53-56, 2017
1272017
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
Logic-Based Program Synthesis and Transformation: 23rd International …, 2014
902014
Static analysis of energy consumption for LLVM IR programs
N Grech, K Georgiou, J Pallister, S Kerrison, J Morse, K Eder
Proceedings of the 18th International Workshop on Software and Compilers for …, 2015
802015
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR
U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2015
432015
Energy transparency for deeply embedded programs
K Georgiou, S Kerrison, Z Chamski, K Eder
ACM Transactions on Architecture and Code Optimization (TACO) 14 (1), 1-26, 2017
402017
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption
K Georgiou, C Blackmore, S Xavier-de-Souza, K Eder
SCOPES '18 Proceedings of the 21st International Workshop on Software and …, 2018
242018
ENTRA: Whole-systems energy transparency
K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ...
Microprocessors and Microsystems 47, 278-286, 2016
212016
Energy-optimal configurations for single-node HPC applications
VRG Silva, AFA Furtunato, K Georgiou, CAV Sakuyama, K Eder, ...
2019 International Conference on High Performance Computing & Simulation …, 2019
182019
Performance and energy trade-offs for parallel applications on heterogeneous multi-processing systems
AM Coutinho Demetrios, D De Sensi, AF Lorenzon, K Georgiou, ...
Energies 13 (9), 2409, 2020
122020
Lost in translation: Exposing hidden compiler optimization opportunities
K Georgiou, Z Chamski, AA Garcia, D May, K Eder
The Computer Journal, 18, 2020
102020
On the value and limits of multi-level energy consumption static analysis for deeply embedded single and multi-threaded programs
K Georgiou, S Kerrison, K Eder
arXiv preprint arXiv:1510.07095, 2015
102015
When parallel speedups hit the memory wall
AFA Furtunato, K Georgiou, K Eder, S Xavier-De-Souza
IEEE Access 8, 79225-79238, 2020
92020
Static energy consumption analysis of LLVM IR programs
N Grech, K Georgiou, J Pallister, S Kerrison, K Eder
Computing Research Repository, arXiv, 1-12, 2014
82014
Robust and accurate fine-grain power models for embedded systems with no on-chip pmu
K Nikov, M Martinez, S Wegener, J Nunez-Yanez, Z Chamski, K Georgiou, ...
IEEE Embedded Systems Letters 14 (3), 147-150, 2022
72022
A multi-level worst case energy consumption static analysis for single and multi-threaded embedded programs
K Georgiou, S Kerrison, K Eder
Technical Report CSTR-14-003, University of Bristol, 2014
72014
Layered Formal Verification of a TCP Stack
G Cluzel, K Georgiou, Y Moy, C Zeller
2021 IEEE Secure Development Conference (SecDev), 86-93, 2021
62021
Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores.
VHF Oliveira, AFA Furtunato, LF Silveira, K Georgiou, K Eder, ...
Companion of the 2018 ACM/SPEC International Conference on Performance …, 2018
52018
Inferring Energy Consumption at Different Software Levels: ISA vs
U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, MV Hermenegildo, ...
LLVM IR. Technical report, FET 318337 ENTRA Project, 2014
52014
A comprehensive and accurate energy model for arm's cortex-m0 processor
K Georgiou, Z Chamski, K Nikov, K Eder
arXiv preprint arXiv:2104.01055, 2021
42021
Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications
DAM Coutinho, K Georgiou, KI Eder, J Nunez-Yanez, S Xavier-de-Souza
2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration …, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20