Publications

2020

Ashraf Mamun, Sayed, Gilday, Alexander, Singh, Amit Kumar, Ganguly, Amlan, Merrett, Geoff, Wang, Xiaohang and Al-Hashimi, Bashir. Intra- and inter-server smart task scheduling for profit and energy optimization of HPC data centers. Journal of Low Power Electronics and Applications.
Vasileios Tenentes; Shidhartha Das; Daniele Rossi; Bashir M. Al-Hashimi. Run-Time Protection of Multi-Core Processors From Power-Noise Denial-of-Service Attacks. IEEE Transactions on Device and Materials Reliability.
Singh, Amit Kumar and Dey, Somdip and Basireddy, Karunakar Reddy and McDonald-Maier, Klaus and Merrett, Geoff V and Al-Hashimi, Bashir M. Dynamic Energy and Thermal Management of Multi-Core Mobile Platforms: A Survey. IEEE Design and Test.
Alexander Romanovsky. Holistic Fault Tolerance. Proceedings of 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE). Keynote Speaker.
Mohammed A. Noaman Al-hayanni; Fei Xia; Ashur Rafiev; Alexander Romanovsky; Rishad Shafik;, Alex Yakovlev. Amdahl’s Law in the Context ofHeterogeneous Many-core Systems – A Survey. IET Computers & Digital Techniques.

2019

He Li, James J. Davis, John Wickerson, George A. Constantinides. ARCHITECT: arbitrary-precision dardware with digit Elision for efficient iterative compute. IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Asieh Salehi Fathabadi ; Mohammadsadegh Dalvandi ; Michael Butler ; Bashir M. Al-Hashimi . Verifying Cross-layer Interactions through Formal Model-based Assertion Generation. IEEE Embedded Systems Letters.
Mohammad Sadegh Dalvandi, Michael Butler, Asieh Salehi Fathabadi. SEB-CG: Code generation tool with algorithmic refinement support for Event-B. Practical Formal Verification for Software Dependability, Porto, Portugal..
Amit Kumar Singh, Karunakar Reddy Basireddy, Alok Prakash, Geoff V. Merrett, Bashir M Al-Hashimi. Collaborative Adaptation for Energy-Efficient Heterogeneous Mobile SoCs. IEEE Transactions on Computers.
Karunakar R. Basireddy ; Amit Kumar Singh ; Bashir M. Al-Hashimi ; Geoff V. Merrett. AdaMD: Adaptive Mapping and DVFS for Energy-efficient Heterogeneous Multi-cores. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Geoff Merrett. MANAGING POWER IN HETEROGENEOUS MULTICORE SYSTEMS. 14th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2019).
Vasileios Tenentes, Shidhartha Das, Daniele Rossi, Bashir M. Al-Hashimi . Run-time Detection and Mitigation of Power-Noise Viruses. 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS).
Eduardo Weber Wächter, Cédric de Bellefroid, Karunakar Reddy Basireddy, Amit Kumar Singh, Bashir M. Al-Hashimi, and Geoff Merrett. Predictive Thermal Management for Energy-Efficient Execution of Concurrent Applications on Heterogeneous Multicores. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS.

2018

Walker, Matthew. Interactive research data visualisation by drag-and-drop. Research Software Engineers Conference, Birmingham, United Kingdom. 03- 04 Sep 2018.
Graeme M. Bragg , Charles Leech , Domenico Balsamo , James J. Davis , Eduardo Wachter , Geoff V. Merrett , George A. Constantinides and Bashir M. Al-Hashimi. An Application- and Platform-agnostic Control and Monitoring Framework for Multicore Systems. 3rd International Conference on Pervasive and Embedded Computing, Porto Portugal, 29-31 July 2018 . Best Paper Award.
Verykios, T. D., Balsamo, D., Merrett, G. V. Selective policies for efficient state retention in transiently-powered embedded systems: Exploiting properties of NVM technologies. Sustainable Computing: Informatics and Systems.
Charles Leech, Graeme M. Bragg, Domenico Balsamo, Eduardo Wachter, Geoff V. Merrett and Bashir M. Al-Hashimi. Application Control and Monitoring in Heterogeneous Multiprocessor Systems. 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC Lille, France, 9-11 July 2018.
Vasileios Tenentes, Daniele Rossi, Bashir M. Al-Hashimi. Collective-Aware System-on-Chips for Dependable IoT Applications. 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS).
Walker, Matthew, Diestelhorst, Stephan, Merrett, Geoff and Al-Hashimi, Bashir. Accurate and stable empirical CPU power modelling for multi- and many-core systems. Adaptive Many-Core Architectures and Systems workshop, York, United Kingdom. 13 - 15 Jun 2018.
Bragg, Graeme McLachlan, Balsamo, Domenico, Leech, Charles R and Merrett, Geoff . The PRiME Framework: Application- & platform-agnostic system management. Adaptive Many-Core Architectures and Systems workshop, York, United Kingdom. 13 - 15 Jun 2018.
Balsamo, D., Fletcher, B. J., Merrett, G. Power-neutral performance scaling for self-powered multicore computing systems. Adaptive Many-Core Architectures and Systems workshop, York, United Kingdom. 13 - 15 Jun 2018.
Merrett, Geoffrey. Run-time power management of multi- and many-core systems. Adaptive Many-Core Architectures and Systems workshop, York, United Kingdom. 13 - 15 Jun 2018.
Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael. A report on PRiME code generation activities. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018..
Basireddy, Karunakar Reddy, Weber Wachter, Eduardo, Al-Hashimi, Bashir and Merrett, Geoff . Memory and thread synchronization contention-aware DVFS for HPC systems. Adaptive Many-Core Architectures and Systems workshop, York, United Kingdom. 13 - 15 Jun 2018.
Dalvandi, Mohammad Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh. Verifiable code generation from scheduled event-B models. Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. 15 pp, pp. 1-15.
Basireddy, Karunakar Reddy, Wachter, Eduardo W., Al-Hashimi, Bashir M. and Merrett, Geoff V. Workload-aware runtime energy management for HPC systems. International Workshop on Optimization of Energy Efficient HPC & Distributed Systems (OPTIM), Orleans, France, 16-20 July 2018.
K. Murray, A. Suardi, V. Betz and G. Constantinides. Calculated Risks: Quantifying Timing Error Probability with Extended Static Timing Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Balsamo, D., Bragg, G. M., Leech, C., Merrett, G. Application- and platform-agnostic runtime power management of heterogeneous embedded systems. IEEE Design, Automation & Test in Europe, Dresden, Germany. 19 - 23 Mar 2018.
Basireddy, Karunakar Reddy, Singh, Amit, Merrett, Geoff and Al-Hashimi, Bashir. Online concurrent workload classification for multi-core energy management. accepted for publication in ACM/IEEE Design Automation and Test in Europe (DATE), Dresden, Germany.
Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael. Using formal methods for automatic platform-independent code generation of run-time management. University Booth at DATE 2018, Dresden, Germany. 19 - 22 Mar 2018..
Dghaym, D., Butler, M., Salehi Fathabadi, A. Extending ERS for modelling dynamic workflows in Event-B. 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan.
Walker, Matthew, Bischoff, Sascha, Diestelhorst, Stephan, Merrett, Geoff and Al-Hashimi, Bashir . Hardware-validated CPU performance and energy modelling. 2018 IEEE International Symposium on Performance Analysis of Systems and Software April 2-4, 2018, Belfast UK.
Merrett, G. PRiME: Power-efficient Reliable Many-core Embedded systems. International Symposium on Many-Core Computing: Hardware and Software, Southampton, United Kingdom 17 - 18 Jan 2018.
Ashur Rafiev, Mohammed A. N. Al-hayanni, Student member, IEEE, Fei Xia, Rishad Shafik, Member, IEEE, Alexander Romanovsky, Alex Yakovlev, Fellow, IEEE. Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. IEEE Transactions on Multi-Scale Computing Systems .
J. J. Davis, E. Hung, J. M. Levine, E. A. Stott, P. Y. K. Cheung, and G. A. Constantinides. KAPow: High-accuracy, Low-overhead Online Per-module Power Estimation for FPGA Designs. ACM Transactions on Reconfigurable Technology and Systems .
Mauricio D. Gutierrez, Vasileios Tenentes, Tom J. Kazmierski, Daniele Rossi. Low cost error monitoring for improved maintainability of IoT applications. 2017 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).
Asieh Salehi Fathabadi, Michael J Butler, Sheng Yang, Luis Alfonso Maeda-Nunez, James Bantock, Bashir M Al-Hashimi, and Geoff V Merrett. A model-based framework for software portability and verification in embedded power management systems. Journal of System Architecture.

2017

Nadesh Ramanathan, John Wickerson, George Constantinides. Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware. IEEE Transactions on Computers.
Indar Sugiarto, Delong Shang, Steve Furber, Amit Kumar Singh, Bassem Ouni, Geoff Merrett, Bashir Al- Hashimi. Software-defined PMC for runtime power management of a many-core neuromorphic platform. Proceedings 12th IEEE International Conference on Computer Engineering and Systems (ICCES 2017), Cairo, Egypt, 19-20 Dec 2017. Best Paper Award.
He Li, James J. Davis, John Wickerson and George A. Constantinides. ARCHITECT: Arbitrary-precision Constant-hardware Iterative Compute. International Conference on Field-Programmable Technology, 11-13 Dec 2017 Melbourne, Australia. Best Paper Award.
Issa Qiqieh, Rishad Shafik, Ghaith Tarawneh, Danil Sokolov, Shidhartha Das & Alex Yakovlev. Energy-efficient approximate wallace-tree multiplier using significance-driven logic compression. IEEE International Workshop on Signal Processing Systems (SiPS), Lorient, France, 2017.
Dave Burke, Dainius Jenkus, Issa Qiqieh, Rishad Shafik, Shidhartha Das & Alex Yakovlev. Special session paper: significance-driven adaptive approximate computing for energy-efficient image processing applications. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Seoul, 2017.
Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides. Run Fast When You Can: Loop Pipelining with Uncertain and Non-Uniform Memory Dependencies. Asilomar Conference on Signals, Systems, and Computers 2017.
Singh, Amit, Prakash, Alok, Basireddy, Karunakar Reddy, Merrett, Geoffrey and Al-Hashimi, Bashir. Energy efficient run-time mapping and thread partitioning of concurrent OpenCL applications on CPU-GPU MPSoCs. ACM Transactions on Embedded Computing Systems - Special Issue on ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis, Seoul, South Korea, 15-20 October 2017..
Eduardo Weber Wachter, Geoff V. Merrett, Bashir M. Al-Hashimi, Amit Kumar Singh. Reliable mapping and partitioning of performance-constrained openCL applications on CPU-GPU MPSoCs. ESTIMedia '17 Proceedings of the 15th IEEE/ACM Symposium on Embedded Systems for Real-Time Multimedia Pages 78-83.
J. J. Davis, J. M. Levine, E. A. Stott, E. Hung, P. Y. K. Cheung, and G. A. Constantinides. STRIPE: Signal Selection for Runtime Power Estimation. Proceedings of International Conference on Field-programmable Logic and Applications (FPL) 2017.
J. Liu, J. Wickerson, and G. A. Constantinides. Tile Size Selection for Optimized Memory Reuse in High-level Synthesis. Proceedings of International Conference on Field-programmable Logic and Applications (FPL) 2017.
Vougioukas, Ilias, Sandberg, Andreas, Diestelhorst, Stephan, Al-Hashimi, Bashir and Merrett, Geoffrey. Nucleus: finding the sharing limit of heterogeneous cores. ACM Transactions on Embedded Computing Systems (TECS), October 2017.
Basireddy, Karunakar Reddy, Walker, Matthew, Balsamo, Domenico, Diestelhorst, Stephan, Al-Hashimi, Bashir and Merrett, Geoffrey . Empirical CPU power modelling and estimation in the gem5 simulator. In, 27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS), Thessaloniki, Greece, 25-27 Sept 2017.
Reddy, Basireddy Karunakar, Singh, Amit, Biswas, Dwaipayan, Merrett, Geoff and Al-Hashimi, Bashir . Inter-cluster thread-to-core mapping and DVFS on heterogeneous multi-cores. IEEE Transactions on Multiscale Computing Systems.
J. J. Davis, J. M. Levine, E. A. Stott, E. Hung, P. Y. K. Cheung, and G. A. Constantinides. KOCL: Power Self-awareness for Arbitrary FPGA-SoC-accelerated OpenCL Applications. IEEE Design & Test .
Merrett, Geoffrey. CPU power estimation using PMCs and its application in gem5. ARM Research Summit 2017 ARM Research Summit 2017, Cambridge, United Kingdom. 11 - 13 Sep 2017.
Singh, Amit, Leech, Charlie, Basireddy, Karunakar Reddy, Al-Hashimi, Bashir and Merrett, Geoffrey. Learning-based run-time power and energy management of multi/many-core systems: current and future trends. Journal of Low Power Electronics, Vol 13, No.3, pp. 310–325, Sept. 2017.
Leech, Charles, Vala, Charan Kumar, Acharyya, Amit, Yang, Sheng, Merrett, Geoffrey and Al-Hashimi, Bashir . Run-time Performance and Power Optimization of Parallel Disparity Estimation on Many-Core Platforms. ACM Transactions on Embedded Computing Systems.
Tenentes, Vasileios, Leech, Charles, Bragg, Graeme, Merrett, Geoffrey, Al-Hashimi, Bashir, Amrouch, Hussam, Henkel, Jörg and Das, Shidhartha . Hardware and software innovations in energy-efficient system-reliability monitoring. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE..
Fei Xia, Ashur Rafiev, Ali Aalsaud, Mohammed Al-Hayanni, James Davis, Joshua Levine, Andrey Mokhov, Alexander Romanovsky, Rishad Shafik, Alex Yakovlev, Sheng Yang. Voltage, Throughput, Power, Reliability and Multicore Scaling. IEEE Computer Magazine, Volume 50, Issue 8, pp 34-45, Aug 2017.
James R. B. Bantock, Vasileios Tenentes, Bashir M. Al-Hashimi, Geoff V. Merrett. Online tuning of Dynamic Power Management for efficient execution of interactive workloads. Low Power Electronics and Design (ISLPED, 2017 IEEE/ACM International Symposium on, Taipei, Taiwan, 24-26 July 2017.
George A. Constantinides. Algorithms and Arithmetic: Choose Wisely. 24th IEEE International Symposium on Computer Arithmetic 24-26 July 2017, London UK. Invited Paper.
Mohammed Al-Hayanni, Rishad Shafik, Ashur Rafiev, Fei Xia and Alex Yakovlev. Speedup and Parallelization Models for Energy-Efficient Many-Core Systems Using Performance Counters. In, 15th International Conference on High Performance Computing & Simulation (HPCS 2017), Genoa, Italy, 17-21 July 2017.
Vasileios Tenentes, Daniele Rossi, Saqib Khursheed, Bashir M. Al-Hashimi, Krishnendu Chakrabarty. Leakage Current Analysis for Diagnosis of Bridge Defects in Power-Gating Designs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniele Rossi, Vasileios Tenentes, Sudhakar M. Reddy, Bashir M. Al-Hashimi, Andrew Brown. Exploiting Aging Benefits for the Design of Reliable Drowsy Cache Memories. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Balsamo, D., Elboreini, A., Al-Hashimi, B., Merrett, G. Exploring ARM mbed support for transient computing in energy harvesting IoT systems. 2017 7th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI), Vieste, Italy, June 15-16 2017.
Vala, Charan Kumar, Immadisetty, Koushik, Acharyya, Amit, Leech, Charles, Balagopal, Vibishna, Merrett, Geoff V. and Al-Hashimi, Bashir. High Speed Low Complexity Guided Image Filtering Based Disparity Estimation. IEEE Transactions on Circuits and Systems – I.
Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander Romanovsky and Alex Yakovlev. Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn. In, 17th International Conference on Application of Concurrency to System Design (ACSD), Zaragoza, Spain, 25-30 June 2017.
Mauricio D. Gutierrez, Vasileios Tenentes, Daniele Rossi, Tom J. Kazmierski. Susceptible Workload Evaluation and Protection using Selective Fault Tolerance. Journal of Electronic Testing.
Kevin Murray, Andrea Suardi, Vaughn Betz, George Constantinides. Quantifying Error: Extending Static Timing Analysis with Probabilistic Transitions. In, Conference on Design Automation and Test in Europe, Lausanne, Switzerland, 27 - 31 March 2017 .
Issa Qiqieh, Rishad Shafik, Ghaith Tarawneh, Danil Sokolov, Alex Yakovlev. Energy-Efficient Approximate Multiplier Design using Bit Significance-Driven Logic Compression. In, Conference on Design Automation and Test in Europe, Lausanne, Switzerland, 27 - 31 March 2017.
Merrett, Geoff V and Al-Hashimi, Bashir M. Energy-Driven Computing: Rethinking the Design of Energy Harvesting Systems. In, Conference on Design Automation and Test in Europe, Lausanne, Switzerland, 27 - 31 March 2017.
Biswas, Dwaipayan, Balagopal, Vibishna, Shafik, Rishad, Al-Hashimi, Bashir B M and Merrett, Geoff V. Machine Learning for Run-Time Energy Optimisation in Many-Core Systems. In, Conference on Design Automation and Test in Europe, Lausanne, Switzerland, 27 - 31 March 2017.
Basireddy, Karunakar Reddy, Singh, Amit, Merrett, Geoff V. and Al-Hashimi, Bashir M. ITMD: run-time management of concurrent multi-threaded applications on heterogeneous multi-cores. At Conference on Design, Automation and Test in Europe 2017 (DATE'17), Lausanne, Switzerland. 27 - 31 Mar 2017. 1 pp. .
Fletcher, B. J., Balsamo, D., Merrett, G. V. Power neutral performance scaling for energy harvesting MP-SoCs. 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 27-31 March 2017.
Nadesh Ramanathan, Shane Fleming, John Wickerson, George Constantinides. Hardware Synthesis of Weakly Consistent C Concurrency. Proceedings of the 25th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, USA, 22 - 24 February 2017.
John Wickerson, Mark Batty, Tyler Sorensen, George Constantinides. Automatically Comparing Memory Consistency Models. Proceedings ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Paris, France, 15 - 21 January 2017.
Victor Magron, George Constantinides, Alastair Donaldson. Certified Roundoff Error Bounds Using Semidefinite Programming. ACM Transactions on Mathematical Software (TOMS) Volume 43, Issue 4, Article 34, January 2017.

2016

Yiren Zhao, John Wickerson, George Constantinides. An Efficient Implementation of Online Arithmetic. Proceedings of the IEEE International Conference on Field-Programmable Technology (FPT '16), Xi'an, China, 7-9 Dec 2016.
Alexei Iliasov. A formal DSL for multi-core system management. In, Trustworthy Cyber-Physical Systems Engineering, Alexander Romanovsky and Fuyuki Ishikawa (Eds), Pages 307-336, CRC Press, 2016.
Walker, Matthew J. , Diestelhorst, Stephan, Hansson, Andreas , Balsamo, Domenico, Merrett, Geoff V. , Al-Hashimi, Bashir M. Thermally-aware composite run-time CPU power models. International Workshop on Power And Timing Modeling, Optimization and Simulation (PATMOS 2016), Bremen, Germany, 21-23 Sept 2016.
Hardeep Chahal, Vasileios Tenentes, Daniele Rossi, Bashir M. Al-Hashimi. BTI aware thermal management for reliable DVFS designs. Defect and Fault Tolerance in VLSI and Nanotechnology Systems Symposium (DFT'16), Connecticut, USA, 19 - 20 Sep 2016.
Colin Snook, Tomasz Kazmierski. Using Event-B and Modelica to evaluate thermal management strategies in many core systems. Forum on specification & Design Languages (FDL) September 2016, Bremen, Germany.
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander Romanovsky, Alex Yakovlev. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems. Forum on specification & Design Languages (FDL) September 2016, Bremen, Germany.
Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, George A. Constantinides. Custom Multi-Cache Architectures for Heap Manipulating Programs. IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems (TCAD). VOL. PP, Iss. 99, September 2016 .
F. Winterstein, K. Fleming, H.-J. Yang, and G.A. Constantinides. Custom Multi-Cache Architectures for Heap Manipulating Programs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems .
Ali Aalsaud, Rishad Shafik, Ashur Rafiev, Fie Xia, Sheng Yang, Alex Yakovlev. Power-Aware Performance Adaptation of Concurrent Applications in Heterogeneous Many-Core Systems. International Symposium on Low Power Electronics and Design (ISLPED) 2016, San Francisco, USA. August 8-10, 2016.
Ashur Rafiev, Andrey Mokhov, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander Romanovsky, Alex Yakovlev. Resource-driven Modelling for Managing Model Fidelity. in "Model-Implementation Fidelity in Cyber Physical System Design", Christian Fabre, Anca Molnos, Eds. . Springer, 2016.
Mohammed A. N. Al-Hayanni, Ashur Rafiev, Rishad Shafik, Fei Xia. Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing. 16th International Conference on Application of Concurrency to System Design (ACSD2016), Torun, Poland, June 2016.
Matthew Travers, Rishad Shafik, Fei Xia. Power-Normalized Performance Optimization of Concurrent Many-Core Applications. 16th International Conference on Application of Concurrency to System Design (ACSD2016), Torun, Poland, June 2016.
Ashur Rafiev, Fei Xia , Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander Romanovsky, Alex Yakovlev. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems. Design Automation Conference (DAC) 2016.
Salehi Fathabadi, Asieh, Butler, Michael and Snook, Colin . Extending Code Generation to Support Platform-Independent Event-B Models. In, Rodin Developer Workshop, 2016, Linz, Austria, May 23 2016.
Dghaym, Dana, Salehi Fathabadi, Asieh and Snook, Colin. Using Rodin and BMotionStudio for public engagement. In, Rodin Developer Workshop, 2016, Linz, Austria, May 23 2016.
Eddie Hung, James J. Davis, Joshua M. Levine, Edward A. Stott, Peter Y. K. Cheung and George A. Constantinides. KAPow: A System Identification Approach to Online Per-module Power Estimation in FPGA Designs. In: The 24th IEEE International Symposium on Field-Programmable Custom Computing Machines. May 1-3, Washington DC, USA; Best Paper Award.
J. Liu, J. Wickerson, G.A. Constantinides. Loop Splitting for Efficient Pipelining in High-Level Synthesis. Proceedings of the 24th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), Washington D.C., May 2016.
Walker, Matthew, Diestelhorst, Stephan, Hansson, Andreas, Das, Anup, Yang, Sheng, Al-Hashimi, Bashir M. and Merrett, Geoff V. Accurate and Stable Run-Time Power Modeling for Mobile and Embedded CPUs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . http://www.powmon.ecs.soton.ac.uk/powermodeling/.
Domenico Balsamo; Alex Weddell ; Anup Das ; Alberto Arreola ; Davide Brunelli ; Bashir Al-Hashimi ; Geoff Merrett ; Luca Benini. Hibernus++: A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Volume:PP , Issue: 99 ). 10.1109/TCAD.2016.2547919.
James J. Davis, Peter Y. K. Cheung. Reduced-precision Algorithm-based Fault Tolerance for FPGA-implemented Accelerators. 12th International Symposium on Applied Reconfigurable Computing (ARC), Rio de Janeiro, Brazil, March 2016..
Rem Gensh, Alexander Romanovsky, Alex Yakovlev. On structuring holistic fault tolerance. Proceedings of the 15th International Conference on Modularity . MODULARITY 2016, Málaga, Spain, Pages 130-133.
X. Gao, J. Wickerson, G.A. Constantinides. Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis. Proceeedings of the 24th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2016), Monterey, USA, Feb 2016.
James J. Davis, E. Hung, Josh M. Levine, Edward A. Stott, Peter Y. K. Cheung, George A. Constantinides. Knowledge is Power: Module-level Sensing for Runtime Optimisation. Proceeedings of the 24th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2016), Monterey, USA, Feb 2016.
Nadesh Ramanathan, John P. Wickerson, Felix J. Winterstein, George. A. Constantinides. A Case for Work-Stealing on FPGAs with OpenCL Atomics. Proceeedings of the 24th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2016), Monterey, USA, Feb 2016.
Charlie Leech, Domenico Balsamo, Anup Das, Geoff V. Merrett. PRiME Applications and Benchmarks. PRiME Technical Report, v0.4, February 2016.
Felix J. Winterstein, Samuel R. Bayliss, George A. Constantinides. Separation Logic for High-Level Synthesis. ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 9 Iss. 2, Article 10, Feb 2016.
Domenico Balsamo, Anup Das, Alex S. Weddell, Davide Brunelli, Bashir Al-Hashimi, Geoff V. Merrett and Luca Benini. Graceful Performance Modulation for Power-Neutral Transient Computing Systems. TRANSACTIONS ON COMPUTER AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. (Volume:35 , Issue: 5, pp738-749 ).
Ammar Karkar, Terrence Mak, Kin-Fai Tong, Alex Yakovlev. A Survey of Emerging Interconnects for On-Chip Efficient Multicast and Broadcast in Many-Cores. IEEE Circuits and Systems Magazine.

2015

Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, John Wickerson, George A. Constantinides. Custom-Sized Caches in Application-Specific Memory Hierarchies. Proceedings of the IEEE International Conference on Field-Programmable Technology (FPT15), Queenstwon, New Zealnd, Dec 2015.
Anup Das, Geoff V. Merrett, Mirco Tribastone, and Bashir M. Al-Hashimi. Workload Change Point Detection for Run-time Thermal Management of Embedded Systems. IEEE TRANSACTION ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. VOL. XX, NO. X, MONTH 2015 (In press) DOI: 10.1109/TCAD.2015.2504875.
Yang, Sheng, Shafik, Rishad Ahmed, Khursheed, Saqib, Flynn, David, Merrett, Geoff V. and Al-Hashimi, Bashir. Application-specific memory protection policies for energy-efficient reliable design. In, IEEE International ESWEEK Symposium on Rapid System Prototyping. Amsterdam, NL, 08 - 09 Oct 2015. 7pp.
Das, Anup, Al-Hashimi, Bashir and Merrett, Geoff. Adaptive and hierarchical run-time manager for energy-aware thermal management of embedded systems. ACM Transactions on Embedded Computing Systems. 1-25.
Salehi Fathabadi, Asieh, Maeda-Nunez, Luis Alfonso, Butler, Michael, Al-Hashimi, Bashir and Merrett, Geoff. Towards automatic code generation of run-time power management for embedded systems using formal methods. In, 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip . (MCSoC-15), Turin, IT, 23-25 Sept, 2015.
Yang, Sheng, Shafik, Rishad Ahmed, Merrett, Geoff V., Stott, Edward, Levine, Joshua, Davis, James and Al-Hashimi, Bashir. Adaptive Energy Minimization of Embedded Heterogenous Systems using Regression-based Learning. In, 25th International Workshop on Power and Timing Modeling, Optimization and Simulation. (PATMOS 2015), Salvador, BR, 01 - 04 Sep 2015. 8pp.
Rem Gensh, Alexander Romanovsky, Alex Yakovlev. Engineering Cross-Layer Fault Tolerance in Many-Core Systems. In, 7th International Workshop on Software Engineering for Resilient Systems,. Springer Lecture Notes in Computer Science, Paris, Sept 2015.
Das, Anup, Walker, Matthew J, Hansson, Andreas, Al-Hashimi, Bashir M. and Merrett, Geoff V. . Hardware-Software Interaction for Run-time Power Optimization: A Case Study of Embedded Linux on Multicore Smartphones. ISLPED 2015.
Shafik, Rishad Ahmed, Das, Anup K., Maeda-Nunez, Luis Alfonso, Yang, Sheng, Merrett, Geoff V. and Al-Hashimi, Bashir. Learning transfer-based adaptive energy minimization in embedded systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (Volume:PP , Issue: 99 ).
Gengting Liu; Camilleri, P.; Furber, S.; Garside, J. Network traffic exploration on a many-core computing platform: SpiNNaker real-time traffic visualiser. PhD Research in Microelectronics and Electronics (PRIME) 2015, 11th Conference on. June 29 2015 - July 2 2015, Glasgow, U.K. pp: 228-231.
Andrey Mokhov. Algebra of switching networks. IET Computers & Digital Techniques. Volume 9, Issue 4, pp. 197 - 205.
A. Rafiev, F. Xia, A. Iliasov, R. Gensh, A. Aalsaud, A. Romanovsky, A. Yakovlev. Order Graphs and Cross-layer Parametric Significance-driven Modelling. 15th International Conference on Application of Concurrency to System Design. Brussels, pp. 110 - 119.
Salehi, M. ; Ejlali, A. ; Al-Hashimi, B.M. Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Time Multi-Core Systems. IEEE Transactions on Parallel and Distributed Systems. Issue 99, 10.1109/TPDS.2015.2444402.
Junyi Liu; Bayliss, S.; Constantinides, G.A. Offline Synthesis of Online Dependence Testing: Parametric Loop Pipelining for HLS. in Field-Programmable Custom Computing Machines (FCCM). 2015 IEEE 23rd Annual International Symposium on , vol., no., pp.159-162.
Kan Shi, David Boland, George A. Constantinides. Imprecise Datapath Design: An Overclocking Approach. ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 8, Iss. 2, Article 6, Apr 2015.
Das, Anup K., Shafik, Rishad Ahmed, Merrett, Geoff V., Hashimi, B.M., Kumar, Akash and Veeravalli, Bharadwaj . Workload uncertainty characterization and adaptive frequency scaling for energy minimization of embedded systems. In, Conference on Design, Automation & Test in Europe,. Grenoble, FR, 09 - 13 Mar 2015. 6pp. .
Balsamo, D. Weddell, A.S. ; Merrett, G.V. ; Al-Hashimi, B.M. ; Brunelli, D. ; Benini, L. Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems. IEEE EMBEDDED SYSTEMS LETTERS, VOL. 7, NO. 1. pgs 15 - 18.
Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander Romanovsky and Alex Yakovlev. A formal specification and prototyping language for multi-core system management. 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Proceedings. Turku, Finland, IEE CS.
Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, Samuel Bayliss, George A. Constantinides. MATCHUP: Memory Abstractions for Heap Manipulating Programs. Proceedings of the ACM Symposium on Field-Programmable Gate Arrays (FPGA’15), February 22–24, 2015, Monterey, California, USA.
Xitong Gao, George A. Constantinides. Numerical Program Optimization for High-Level Synthesis. Proceedings of the ACM Symposium on Field-Programmable Gate Arrays (FPGA’15), February 22–24, 2015, Monterey, California, USA.
Eddie Hung, Joshua M. Levine, Edward Stott, George A. Constantinides, and Wayne Luk. Delay-Bounded Routing for Shadow Registers. In Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Monterey, California, USA.
Shafik, Rishad Ahmed, Das, Anup K., Yang, Sheng, Merrett, Geoff V. and Al-Hashimi, Bashir . Adaptive energy minimization of OpenMP parallel applications on many-core systems. In, 6th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures,. Amsterdam, NL, 21 Jan 2015. ACM6pp.
Maeda-Nunez, Luis Alfonso, Das, Anup K., Shafik, Rishad A., Merrett, Geoff V. and Al-Hashimi, . PoGo: an application-specific adaptive energy minimisation approach for embedded systems. In, HiPEAC Workshop on Energy Efficiency with Heterogenous Computing (EEHCO), . 19 - 21 Jan 2015. HiPEAC6pp. .
Walker, Matthew J., Das, Anup K., Merrett, Geoff V. and Hashimi, B.M. Run-time power estimation for mobile and embedded asymmetric multi-core CPUs. In, HIPEAC Workshop on Energy Efficiency with Heterogenous Computing,. Amsterdam, NL, 19 - 21 Jan 2015. HiPEAC6pp.
Kan Shi, George A. Constantinides. Evaluation of Design Trade-offs for Adders in Approximate Datapath. HiPEAC Workshop on Approximate Computing (WAPCO), Amsterdam, Jan 2015.

2014

Kan Shi, David Boland and George A. Constantinides. Efficient FPGA Implementation of Digit Parallel Online Arithmetic Operators. In Proceedings of International Conference on Field-Programmable Technology,. China, 10-12 December 2014.
Shafik, Rishad Ahmed, Das, Anup K., Yang, Sheng, Merrett, Geoff V. and Al-Hashimi, Bashir . Learning-based runtime management of energy-efficient and reliable many-core systems. ESWEEK Workshop on Compiler Assisted SoC Assembly (CASA). Delhi, Union Territory of, IN, 1pp. 2014.
Salehi Fathabadi, Asieh, Snook, Colin and Butler, Michael. Applying an integrated modelling process to run-time management of many-core systems. In, 11th International Conference on Integrated Formal Methods (iFM), . Bertinoro, IT, 09 - 11 Sep 2014. .
Davis, James J. and Cheung, Peter Y.K. Achieving low-overhead fault tolerance for parallel accelerators with dynamic partial reconfiguration. 24th International Conference on Field Programmable Logic and Applications (FPL), . Munich, Germany; September 2 - 4, 2014.
Alexandre Yakovlev, Alexander Kushnerov, Andrey Mokhov, Reza Ramezani. On hyperbolic laws of capacitor discharge through self-timed digital loads. INTERNATIONAL JOURNAL OF CIRCUIT THEORY AND APPLICATIONS.
Kazmierski, T J and Leech, C, . Synthesis of application specific processor architectures for ultra-low energy consumption. In, SSSS2014: Small Systems Simulation Symposium, Nis, RS, 12-14 Feb 2014, pp. 95-101.
Leech, C and Kazmierski, T J, . Energy Efficient Multi-Core Processing. ELECTRONICS, vol. 18, (1), 2014, pp 3-10..
Rafiev, A. ; Iliasov, A. ; Romanovsky, A. ; Mokhov, A. ; Fei Xia ; Yakovlev, A. . Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn — An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. Application of Concurrency to System Design (ACSD), 2014 14th International Conference on,. Tunis La Marsa, Tunisia.
Rafiev, A. ; Iliasov, A. ; Romanovsky, A. ; Mokhov, A. . Studying the interplay of concurrency, performance, energy and reliability with archon — an architecture-open resource-driven cross-layer modelling framework. Application of Concurrency to System Design (ACSD), 2014 14th International Conference on. Tunis La Marsa.
Kan Shi, David Boland, Edward Stott, Samuel Bayliss and George A. Constantinides. Datapath Synthesis for Overclocking: Online Arithmetic for Latency-Accuracy Trade-offs. In Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference, 2014. DAC '14, San Francisco, CA, USA, June 1-5, 2014. .
Asieh Salehi, Colin Snook and Michael Butler. Run-time Management of Many-core Systems using Rodin. In Proceedings of 5th Rodin User and Developer Workshop. Toulouse, France, June 2014.
Edward Stott, Joshua Levine, Peter Y K Cheung and Nachiket Kapre. Timing Fault Detection in FPGA-based Circuits. 2nd IEEE International Symposium on Field-Programmable Custom Computing Machines. (FCCM) 2014, May 11-13, Boston, Massachusetts.
James J. Davis and Peter Y.K. Cheung. Reducing Overheads for Fault-Tolerant Datapaths with Dynamic Partial Reconfiguration. 22nd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines.. (FCCM), 2014, May 11-13, Boston, Massachusetts..
NIZAR DAHIR, RA’ED AL-DUJAILY, TERRENCE MAK, ALEX YAKOVLEV. Thermal Optimization in Network-on-Chip-Based 3D Chip Multiprocessors Using Dynamic Programming Networks. ACM Transactions on Embedded Computing Systems. Vol. 13, No. 4s, Article 139, 1-25.
Das, Anup K., Shafik, Rishad Ahmed, Merrett, Geoff V., Al-Hashimi, Bashir M., Kumar, Akash and Veeravalli, Bharadwaj. Reinforcement learning-based inter- and intra-application thermal optimization for lifetime improvement of multicore systems. In, DAC2014: Design Automation Conference, San Francisco, US, 01 - 05 Jun 2014. .
Ashur Rafiev, Alexei Iliasov, Alexander Romanovsky, Andrey Mokhov, Fei Xia and Alex Yakovlev . Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework. Technical Report Series, No. CS-TR-1408, Newcastle University, 2014.
Ashur Rafiev, Alexei Iliasov, Alexander Romanovsky, Andrey Mokhov, Fei Xia and Alex Yakovlev. Resource-driven Modelling of Complex Digital Systems with Uncertainty. Technical Report Series, No. CS-TR-1413, Newcastle University, 2014.
J.M. Levine, E. Stott, and P.Y.K. Cheung. Dynamic Voltage & Frequency Scaling with Online Slack Measurement. In Proc. ACM International Symposium on FPGAs. (FPGA), 2014..

2013

J.M. Levine, E. Stott, G.A. Constantinides, and P.Y.K. Cheung. SMI: Slack Measurement Insertion for Online Timing Monitoring in FPGAs. In Proc. Int. Conf. on Field Programmable Logic and Applications . (FPL), 2013.
J.J. Davis and P.Y.K. Cheung . Datapath Fault Tolerance for Parallel Accelerators. In Proc. Int. Conf. on Field Programmable Logic and Applications . (FPL), 2013.
Xitong Gao, Samuel Bayliss, George A. Constantinides. SOAP: Structural Optimization of Arithmetic Expressions for High-Level Synthesis. Proceedings of the International Conference on Field-Programmable Technology (ICFPT) 2013, Kyoto, Japan, Dec 2013.
Bischoff S, Hansson A and Al-Hashimi BM. Applying of Quality of Experience to System Optimisation. Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013 23rd International Workshop on . Germany, 2013.
Xia, F. Voltage throughput, power, reliability and multi-core scaling. NCL-EECE-MSD-Memo-3013-008, 2013.
A. Mokhov, M. Rykunov, D. Sokolov, and A. Yakovlev. Towards Reconfigurable Processors for Power-Proportional Computing. 2013 IEEE Faible Tension Faible Consummation (FTFC’13). France, IEEE, 2013.
M. Rykunov, A. Mokhov, D. Sokolov, A. Yakovlev and A. Koelmans. Design-for-Adaptivity of Microarchitectures. In Proceedings of ASAP 2013. USA, IEEE, pp. 314-320.