Mahmoud A Bokhari

Mahmoud A Bokhari
University of Adelaide · School of Computer Science

Doctor of Philosophy

About

15
Publications
2,099
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
83
Citations
Introduction
Mahmoud Bokhari is a PhD scholar at the University of Adelaide, Australia. His research focuses on applying Search-Based Software Engineering SBSE techniques to improve the non-functional properties of software such as energy consumption. Prior to his PhD, he conducted research on software test coverage maximisation problem using SBSE. “If a cluttered desk is a sign of a cluttered mind, of what, then, is an empty desk a sign?” – Albert Einstein
Additional affiliations
August 2021 - present
Taibah University
Position
  • Professor (Assistant)
December 2018 - August 2021
Taibah University
Position
  • Lecturer
November 2008 - November 2018
Taibah University
Position
  • Research Assistant
Education
January 2016 - July 2019
University of Adelaide
Field of study
  • Computer Science - Search Based Software Engineering
March 2013 - June 2015
University of Adelaide
Field of study
  • Computer Science

Publications

Publications (15)
Preprint
Full-text available
In this paper, we represent the problem of selecting miners within a blockchain-based system as a subset selection problem. We formulate the problem of minimising blockchain energy consumption as an optimisation problem with two conflicting objectives: energy consumption and trust. The proposed model is compared across different algorithms to demon...
Conference Paper
Many challenges arise in the application of Genetic Improvement of Software to improve non-functional requirements of software such as energy use and run-time. These challenges are mainly centred around the complexity of the search space and the estimation of the desired fitness function. For example, such fitness function are expensive, noisy and...
Preprint
Full-text available
The optimisation of software energy consumption is of growing importance across all scales of modern computing, i.e., from embedded systems to data-centres. Practitioners in the field of Search-Based Software Engineering and Genetic Improvement of Software acknowledge that optimising software energy consumption is difficult due to noisy and expensi...
Conference Paper
The optimisation of non-functional properties of software is of growing importance in all scales of modern computing (from embedded systems to data-centres). In mobile computing, smart devices have complex interactions between their hardware and software components. Small changes in the environment can greatly impact the measurements of non-functio...
Conference Paper
Energy demands of applications on mobile platforms are increasing. As a result, there has been a growing interest in optimising their energy efficiency. As mobile platforms are fast-changing, diverse and complex, the optimisation of energy use is a non-trivial task. To date, most energy optimisation methods either use models or external meters to e...
Conference Paper
With power demands of mobile devices rising, it is becoming increasingly important to make mobile software applications more energy efficient. Unfortunately, mobile platforms are diverse and very complex which makes energy behaviours difficult to model. This complexity presents challenges to the effectiveness of off-line optimisation of mobile appl...
Article
Full-text available
In this paper we outline our results for validating the precision of the internal power meters of smart-phones under different workloads. We compare its results with an external power meter. This is the first step towards creating customized energy models on the fly and towards optimizing battery efficiency using genetic program improvements. Our e...
Conference Paper
In this paper we outline our proposed framework for optimising energy consumption on Android mobile phones. To model the power usage, we use an event-based modelling technique. The internal battery fuel gauge chip is used to measure the amount of energy being consumed and accordingly the model is built on. We use the model to estimate components' e...
Conference Paper
The correctness of software verification systems is vital, since they are used to confirm that safety and security critical software systems satisfy their requirements. Modern verification systems need to understand their target software, which can be done by using an axiomatization base. It captures the semantics of the programming language used f...
Conference Paper
The correctness of program verification systems is of great importance, since they are used to formally prove that safety- and security-critical programs follow their specification. Within these verification systems, the background axiomatization captures the semantics of the target program language - errors here can lead to incorrect formal proofs...

Network

Cited By