Dr Paul Harvey
- Lecturer in Low Carbon and Sustainable Computing (School of Computing Science)
email:
Paul.Harvey@glasgow.ac.uk
F142, School of Computing Science, University of Glasgow
Biography
Paul Harvey is a lecturer in Autonomous Systems at the School of Copmuting Science, University of Glasgow. Here, he is exploring the cross-section of technologies and skills required for safe and meaningful fully-autonomous behaviour of both design and operation.
Additionally, he is a working group co-chair in the UN’s ITU-T Focus Group on Autonomous Networks and a visiting researcher at the University of Strathclyde. Paul also possess extensive experience in industrial research, where he was co-founder and research lead of the Rakuten Mobile Innovation Studio, and is a strong believer in open and collaborative research.
Publications
2025
Ding, Shenjia, Flynn, David ORCID: https://orcid.org/0000-0002-1024-3618 and Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X
(2025)
Automatic Generation of Digital Twins for Network Testing.
In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Miyata, Sumiko, Miyata, Takamichi, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Khan, Irfanullah
(2025)
On the Effectiveness of Task Off-loading in Edge based Federated Learning Environment.
In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Rodgers, Philip ORCID: https://orcid.org/0000-0001-5570-7490 and Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X
(2025)
The xApp Store: A Framework for xApp Onboarding and Deployment in O-RAN.
In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Yanagida, Ryo ORCID: https://orcid.org/0000-0002-0819-6453, Singer, Jeremy
ORCID: https://orcid.org/0000-0001-9462-6802, Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X, Wong, Leon and Perkins, Colin
ORCID: https://orcid.org/0000-0002-3404-8964
(2025)
Distributing Quality of Service (QoS) Policies in Name-based Networks.
In: ANMS Workshop in conjunction with the 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, Scotland, UK, 20-23 Jul 2025,
(Accepted for Publication)
Yanagida, Ryo ORCID: https://orcid.org/0000-0002-0819-6453, Singer, Jeremy
ORCID: https://orcid.org/0000-0001-9462-6802, Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X, Wong, Leon and Perkins, Colin
ORCID: https://orcid.org/0000-0002-3404-8964
(2025)
Name-based Quality for Name-based Networks.
In: 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Liu, Jingzhao, Zhao, Xingyu, Bian, Zijun, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Watson, Scott
ORCID: https://orcid.org/0000-0002-9235-9242, Sweeney, Stephen J.
ORCID: https://orcid.org/0000-0001-8561-6071 and Hogg, Richard
ORCID: https://orcid.org/0000-0002-0781-6809
(2025)
Interdependence of parasitic losses in photonic crystal surface emitting lasers.
AIP Advances, 15,
045321.
(doi: 10.1063/5.0252646)
2024
Casadei, Roberto, Esterle, Lukas, Gamble, Rose, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Wanner, Elizabeth F.
(2024)
Editorial: Understanding and engineering cyber-physical collectives.
Frontiers in Robotics and AI, 11,
1407421.
(doi: 10.3389/frobt.2024.1407421)
(PMID:38770438)
(PMCID:PMC11102989)
2023
Liu, Jingzhao, Gao, Yunyun, Ivanov, Pavlo, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Hogg, Richard
ORCID: https://orcid.org/0000-0002-0781-6809
(2023)
Probabilistic Markov chain modelling of photonic crystal surface emitting lasers.
Applied Physics Letters, 123,
261107.
(doi: 10.1063/5.0168073)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2023)
HSBooster Report - Standardisation for OntoCommons.
Documentation.
Zenodo.
(doi: 10.5281/ZENODO.8414882).
Fúster De La Fuente, Jaime, Pendás Recondo, Álvaro, Wong, Leon and Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2023)
Enabling Auditable Trust in Autonomous Networks with Ethereum and IPFS.
In: NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium, Miami, FL, USA, 8-12 May 2023,
ISBN 9781665477161
(doi: 10.1109/noms56928.2023.10154327)
Kliks, Adrian, Dryjanski, Marcin, Ram, Vishnu, Wong, Leon and Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2023)
Towards autonomous open radio access networks.
ITU Journal on Future and Evolving Technologies, 4(2),
pp. 251-268.
(doi: 10.52953/GJII3746)
Fúster de la Fuente, J. et al. (2023) Build your own closed loop: Graph-based proof of concept in closed loop for autonomous networks. ITU Journal on Future and Evolving Technologies, (doi: 10.52953/opdk5666)
2022
Wu, Di, Ullah, Rehmat, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Kilpatrick, Peter, Spence, Ivor and Varghese, Blesson
(2022)
FedAdapt: Adaptive offloading for IoT Devices in federated learning.
IEEE Internet of Things Journal, 9(21),
pp. 20889-20901.
(doi: 10.1109/JIOT.2022.3176469)
Ullah, Rehmat, Wu, Di, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Kilpatrick, Peter, Spence, Ivor and Varghese, Blesson
(2022)
FedFly: toward migration in edge-based distributed federated learning.
IEEE Communications Magazine, 60(11),
pp. 42-48.
(doi: 10.1109/mcom.003.2100964)
Yanev, Mihail and Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2022)
Herding the FLOQ: Flow Optimised Queueing.
In: IFIP Networking 2022 Conference, Catania, Italy, 13-16 Jun 2022,
ISBN 9781665487269
(doi: 10.23919/IFIPNetworking55013.2022.9829812)
Anderson, Damien, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Kaneta, Yusaku, Papadopoulos, Petros, Rodgers, Philip and Roper, Marc
(2022)
Towards evolution-based autonomy in large-scale systems.
In: GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, 9-13 July 2022,
pp. 1924-1925.
ISBN 9781450392686
(doi: 10.1145/3520304.3533975)
Almasan, P. et al. (2022) Network digital twin: context, enabling technologies, and opportunities. IEEE Communications Magazine, 60(11), pp. 22-27. (doi: 10.1109/mcom.001.2200012)
2021
Varghese, B. et al. (2021) Revisiting the arguments for edge computing research. IEEE Internet Computing, 25(5), pp. 36-42. (doi: 10.1109/MIC.2021.3093924)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon
ORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela
ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J.
ORCID: https://orcid.org/0000-0003-3033-9091
(2021)
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021,
(doi: 10.4230/LIPIcs.ECOOP.2021.10)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon
ORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela
ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J.
ORCID: https://orcid.org/0000-0003-3033-9091
(2021)
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
[Artefact]
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Tatar, Alexandru, Imai, Pierre, Wong, Leon and Bringuier, Laurent
(2021)
Evolutionary autonomous networks.
Journal of ICT Standardization, 9(2),
pp. 201-228.
(doi: 10.13052/jicts2245-800x.927)
2020
Intharawijitr, Krittin, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Imai, Pierre
(2020)
A Feasibility Study of Cache in Smart Edge Router for Web-Access Accelerator.
In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), 07-10 Dec 2020,
pp. 360-365.
ISBN 9780738123943
(doi: 10.1109/UCC48980.2020.00057)
Lockhart, Luke, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Imai, Pierre, Willis, Peter and Varghese, Blesson
(2020)
Scission: Performance-driven and Context-aware Cloud-Edge Distribution of Deep Neural Networks.
In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), 07-10 Dec 2020,
pp. 257-268.
ISBN 9780738123943
(doi: 10.1109/UCC48980.2020.00044)
Mehta, Hemant Kumar, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Rana, Omer, Buyya, Rajkumar and Varghese, Blesson
(2020)
WattsApp: Power-Aware Container Scheduling.
In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), 07-10 Dec 2020,
pp. 79-90.
(doi: 10.1109/UCC48980.2020.00027)
2017
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Sventek, Joseph
(2017)
Adaptable Actors: Just What The World Needs.
In: PLOS'17, Shanghai, China, 28-31 October 2017,
pp. 22-28.
ISBN 9781450351539
(doi: 10.1145/3144555.3144559)
2016
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Bakanov, Konstantin, Spence, Ivor and Nikolopoulos, Dimitrios S.
(2016)
A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform.
In: ROSS '16: International Workshop on Runtime and Operating Systems for Supercomputers, New York, NY, United States, 1 June 2016,
7:1-7:8.
ISBN 9781450343879
(doi: 10.1145/2931088.2931090)
2015
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Hentschel, Kristian and Sventek, Joseph
(2015)
Parallel Programming in Actor-Based Applications via OpenCL.
In: Middleware '15: 16th International Middleware Conference, Vancouver, BC, Canada, December 7 - 11, 2015,
pp. 162-172.
ISBN 9781450336185
(doi: 10.1145/2814576.2814732)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Hentschel, Kristian and Sventek, Joseph
(2015)
Actors: The Ideal Abstraction for Programming
Kernel-Based Concurrency.
Technical Report.
University of Glasgow.
(Unpublished)
2014
Cameron, Callum, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Sventek, Joseph
(2014)
A Virtual Machine for the Insense Language.
In: 2013 International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Bologna, Italy, 11-13 November 2013,
ISBN 9781936968947
(doi: 10.1109/mobilware.2013.17)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Hameed, Saji and Vanderbauwhede, Wim
ORCID: https://orcid.org/0000-0001-6768-0037
(2014)
Accelerating Lagrangian Particle Dispersion in the Atmosphere with OpenCL Across Multiple Platforms.
In: IWOCL '14: International Workshop on OpenCL, Atlanta, GA, USA, 13-14 May 204,
pp. 1-8.
ISBN 9781450330077
(doi: 10.1145/2664666.2664672)
2013
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Sventek, Joseph
(2013)
Wireless sensor network simulation with Xen.
In: SpringSim '13: 2013 Spring Simulation Multiconference, San Diego, California, USA, April 7 - 10, 2013,
ISBN 9781627480307
2012
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Dearle, A., Lewis, J. and Sventek, J.
(2012)
Channel and active component abstractions for WSN programming - a language model with operating system support.
In: SensorNets 2012, Rome, Italy, 24-26 Feb 2012,
2011
Field, Laurence, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Dyce, Tim
(2011)
Designing the next generation grid information system.
Journal of Physics: Conference Series, 331(6),
062008.
(doi: 10.1088/1742-6596/331/6/062008)
Articles
Liu, Jingzhao, Zhao, Xingyu, Bian, Zijun, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Watson, Scott
ORCID: https://orcid.org/0000-0002-9235-9242, Sweeney, Stephen J.
ORCID: https://orcid.org/0000-0001-8561-6071 and Hogg, Richard
ORCID: https://orcid.org/0000-0002-0781-6809
(2025)
Interdependence of parasitic losses in photonic crystal surface emitting lasers.
AIP Advances, 15,
045321.
(doi: 10.1063/5.0252646)
Casadei, Roberto, Esterle, Lukas, Gamble, Rose, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Wanner, Elizabeth F.
(2024)
Editorial: Understanding and engineering cyber-physical collectives.
Frontiers in Robotics and AI, 11,
1407421.
(doi: 10.3389/frobt.2024.1407421)
(PMID:38770438)
(PMCID:PMC11102989)
Liu, Jingzhao, Gao, Yunyun, Ivanov, Pavlo, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Hogg, Richard
ORCID: https://orcid.org/0000-0002-0781-6809
(2023)
Probabilistic Markov chain modelling of photonic crystal surface emitting lasers.
Applied Physics Letters, 123,
261107.
(doi: 10.1063/5.0168073)
Kliks, Adrian, Dryjanski, Marcin, Ram, Vishnu, Wong, Leon and Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2023)
Towards autonomous open radio access networks.
ITU Journal on Future and Evolving Technologies, 4(2),
pp. 251-268.
(doi: 10.52953/GJII3746)
Fúster de la Fuente, J. et al. (2023) Build your own closed loop: Graph-based proof of concept in closed loop for autonomous networks. ITU Journal on Future and Evolving Technologies, (doi: 10.52953/opdk5666)
Wu, Di, Ullah, Rehmat, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Kilpatrick, Peter, Spence, Ivor and Varghese, Blesson
(2022)
FedAdapt: Adaptive offloading for IoT Devices in federated learning.
IEEE Internet of Things Journal, 9(21),
pp. 20889-20901.
(doi: 10.1109/JIOT.2022.3176469)
Ullah, Rehmat, Wu, Di, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Kilpatrick, Peter, Spence, Ivor and Varghese, Blesson
(2022)
FedFly: toward migration in edge-based distributed federated learning.
IEEE Communications Magazine, 60(11),
pp. 42-48.
(doi: 10.1109/mcom.003.2100964)
Almasan, P. et al. (2022) Network digital twin: context, enabling technologies, and opportunities. IEEE Communications Magazine, 60(11), pp. 22-27. (doi: 10.1109/mcom.001.2200012)
Varghese, B. et al. (2021) Revisiting the arguments for edge computing research. IEEE Internet Computing, 25(5), pp. 36-42. (doi: 10.1109/MIC.2021.3093924)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Tatar, Alexandru, Imai, Pierre, Wong, Leon and Bringuier, Laurent
(2021)
Evolutionary autonomous networks.
Journal of ICT Standardization, 9(2),
pp. 201-228.
(doi: 10.13052/jicts2245-800x.927)
Field, Laurence, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Dyce, Tim
(2011)
Designing the next generation grid information system.
Journal of Physics: Conference Series, 331(6),
062008.
(doi: 10.1088/1742-6596/331/6/062008)
Research Reports or Papers
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2023)
HSBooster Report - Standardisation for OntoCommons.
Documentation.
Zenodo.
(doi: 10.5281/ZENODO.8414882).
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Hentschel, Kristian and Sventek, Joseph
(2015)
Actors: The Ideal Abstraction for Programming
Kernel-Based Concurrency.
Technical Report.
University of Glasgow.
(Unpublished)
Conference Proceedings
Ding, Shenjia, Flynn, David ORCID: https://orcid.org/0000-0002-1024-3618 and Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X
(2025)
Automatic Generation of Digital Twins for Network Testing.
In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Miyata, Sumiko, Miyata, Takamichi, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Khan, Irfanullah
(2025)
On the Effectiveness of Task Off-loading in Edge based Federated Learning Environment.
In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Rodgers, Philip ORCID: https://orcid.org/0000-0001-5570-7490 and Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X
(2025)
The xApp Store: A Framework for xApp Onboarding and Deployment in O-RAN.
In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Yanagida, Ryo ORCID: https://orcid.org/0000-0002-0819-6453, Singer, Jeremy
ORCID: https://orcid.org/0000-0001-9462-6802, Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X, Wong, Leon and Perkins, Colin
ORCID: https://orcid.org/0000-0002-3404-8964
(2025)
Distributing Quality of Service (QoS) Policies in Name-based Networks.
In: ANMS Workshop in conjunction with the 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, Scotland, UK, 20-23 Jul 2025,
(Accepted for Publication)
Yanagida, Ryo ORCID: https://orcid.org/0000-0002-0819-6453, Singer, Jeremy
ORCID: https://orcid.org/0000-0001-9462-6802, Harvey, Paul
ORCID: https://orcid.org/0000-0003-1243-938X, Wong, Leon and Perkins, Colin
ORCID: https://orcid.org/0000-0002-3404-8964
(2025)
Name-based Quality for Name-based Networks.
In: 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, UK, 20-23 July 2025,
(Accepted for Publication)
Fúster De La Fuente, Jaime, Pendás Recondo, Álvaro, Wong, Leon and Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2023)
Enabling Auditable Trust in Autonomous Networks with Ethereum and IPFS.
In: NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium, Miami, FL, USA, 8-12 May 2023,
ISBN 9781665477161
(doi: 10.1109/noms56928.2023.10154327)
Yanev, Mihail and Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X
(2022)
Herding the FLOQ: Flow Optimised Queueing.
In: IFIP Networking 2022 Conference, Catania, Italy, 13-16 Jun 2022,
ISBN 9781665487269
(doi: 10.23919/IFIPNetworking55013.2022.9829812)
Anderson, Damien, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Kaneta, Yusaku, Papadopoulos, Petros, Rodgers, Philip and Roper, Marc
(2022)
Towards evolution-based autonomy in large-scale systems.
In: GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, 9-13 July 2022,
pp. 1924-1925.
ISBN 9781450392686
(doi: 10.1145/3520304.3533975)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon
ORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela
ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J.
ORCID: https://orcid.org/0000-0003-3033-9091
(2021)
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021,
(doi: 10.4230/LIPIcs.ECOOP.2021.10)
Intharawijitr, Krittin, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Imai, Pierre
(2020)
A Feasibility Study of Cache in Smart Edge Router for Web-Access Accelerator.
In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), 07-10 Dec 2020,
pp. 360-365.
ISBN 9780738123943
(doi: 10.1109/UCC48980.2020.00057)
Lockhart, Luke, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Imai, Pierre, Willis, Peter and Varghese, Blesson
(2020)
Scission: Performance-driven and Context-aware Cloud-Edge Distribution of Deep Neural Networks.
In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), 07-10 Dec 2020,
pp. 257-268.
ISBN 9780738123943
(doi: 10.1109/UCC48980.2020.00044)
Mehta, Hemant Kumar, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Rana, Omer, Buyya, Rajkumar and Varghese, Blesson
(2020)
WattsApp: Power-Aware Container Scheduling.
In: 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC), 07-10 Dec 2020,
pp. 79-90.
(doi: 10.1109/UCC48980.2020.00027)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Sventek, Joseph
(2017)
Adaptable Actors: Just What The World Needs.
In: PLOS'17, Shanghai, China, 28-31 October 2017,
pp. 22-28.
ISBN 9781450351539
(doi: 10.1145/3144555.3144559)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Bakanov, Konstantin, Spence, Ivor and Nikolopoulos, Dimitrios S.
(2016)
A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform.
In: ROSS '16: International Workshop on Runtime and Operating Systems for Supercomputers, New York, NY, United States, 1 June 2016,
7:1-7:8.
ISBN 9781450343879
(doi: 10.1145/2931088.2931090)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Hentschel, Kristian and Sventek, Joseph
(2015)
Parallel Programming in Actor-Based Applications via OpenCL.
In: Middleware '15: 16th International Middleware Conference, Vancouver, BC, Canada, December 7 - 11, 2015,
pp. 162-172.
ISBN 9781450336185
(doi: 10.1145/2814576.2814732)
Cameron, Callum, Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Sventek, Joseph
(2014)
A Virtual Machine for the Insense Language.
In: 2013 International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Bologna, Italy, 11-13 November 2013,
ISBN 9781936968947
(doi: 10.1109/mobilware.2013.17)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Hameed, Saji and Vanderbauwhede, Wim
ORCID: https://orcid.org/0000-0001-6768-0037
(2014)
Accelerating Lagrangian Particle Dispersion in the Atmosphere with OpenCL Across Multiple Platforms.
In: IWOCL '14: International Workshop on OpenCL, Atlanta, GA, USA, 13-14 May 204,
pp. 1-8.
ISBN 9781450330077
(doi: 10.1145/2664666.2664672)
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X and Sventek, Joseph
(2013)
Wireless sensor network simulation with Xen.
In: SpringSim '13: 2013 Spring Simulation Multiconference, San Diego, California, USA, April 7 - 10, 2013,
ISBN 9781627480307
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Dearle, A., Lewis, J. and Sventek, J.
(2012)
Channel and active component abstractions for WSN programming - a language model with operating system support.
In: SensorNets 2012, Rome, Italy, 24-26 Feb 2012,
Artefact
Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon
ORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela
ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J.
ORCID: https://orcid.org/0000-0003-3033-9091
(2021)
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
[Artefact]
Grants
A full list of projects can be found here.
Supervision
Oppertunites can be found here.
Current students and their projects can be found here.
Previous students and their projects can be found here.
- Dong, Shijia
Semantically-Driven Automated Software Modularisation Using Large Language Models