Dr Blair Archibald

  • Research Associate (Computing Science)

email: Blair.Archibald@glasgow.ac.uk

F102, School of Computing Science, Sir Alwyn Williams Building, University of Glasgow, G12 8RZ

ORCID iDhttps://orcid.org/0000-0003-3699-6658

Biography

I am Research Associate working on the Science of Sensor Systems (S4) project which aims to deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments.

I have a keen interest in reproducible research and how software is built and managed across research domains and was named a Software Sustainability Institute Fellow in 2017.

I obtained a Ph.D in Computing Science from the University of Glasgow in 2018. My thesis focused on creating re-usable high level abstractions (algorithmic skeletons) for parallel tree search problems. This led to the creation of YewPar, a C++ framework for parallel search.

I am an active member of the FATA, Systems and PLUG research groups.

Research interests

  • Bigraphical modelling
  • (Wireless) Sensor Systems
  • Search, e.g. Constraint Programming
  • Parallel and Distributed Computing
  • Programming Languages/Functional Programming

Publications

List by: Type | Date

Jump to: 2021 | 2020 | 2019 | 2018 | 2017
Number of items: 10.

2021

Archibald, B. , Kulcsár, G. and Sevegnani, M. (2021) A tale of two graph models: a case study in wireless sensor networks. Formal Aspects of Computing, (doi: 10.1007/s00165-021-00558-z) (Early Online Publication)

Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021, (Accepted for Publication)

2020

Archibald, B. , Calder, M. and Sevegnani, M. (2020) Conditional Bigraphs. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 3-19. ISBN 9783030513719 (doi:10.1007/978-3-030-51372-6_1)

Archibald, B. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B. (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi:10.1145/3332466.3374537)

2019

Archibald, B. , Dunlop, F., Hoffmann, R., McCreesh, C. , Prosser, P. and Trimble, J. (2019) Sequential and parallel solution-biased search for subgraph algorithms. In: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2019), Thessaloniki, Greece, 4-7 June 2019, pp. 20-38. ISBN 9783030192112 (doi:10.1007/978-3-030-19212-9_2)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi:10.1007/978-3-030-29400-7_14)

2018

Singer, J. and Archibald, B. (2018) Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. Electronic Proceedings in Theoretical Computer Science, 270, pp. 37-51. (doi: 10.4204/EPTCS.270.3)

Archibald, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P. (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

2017

Archibald, B. , Maier, P., Stewart, R., Trinder, P. and De Beule, J. (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi:10.1145/3115936.3115942)

This list was generated on Mon Sep 20 05:43:41 2021 BST.
Number of items: 10.

Articles

Archibald, B. , Kulcsár, G. and Sevegnani, M. (2021) A tale of two graph models: a case study in wireless sensor networks. Formal Aspects of Computing, (doi: 10.1007/s00165-021-00558-z) (Early Online Publication)

Archibald, B. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B. (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)

Singer, J. and Archibald, B. (2018) Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. Electronic Proceedings in Theoretical Computer Science, 270, pp. 37-51. (doi: 10.4204/EPTCS.270.3)

Archibald, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P. (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

Conference Proceedings

Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021, (Accepted for Publication)

Archibald, B. , Calder, M. and Sevegnani, M. (2020) Conditional Bigraphs. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 3-19. ISBN 9783030513719 (doi:10.1007/978-3-030-51372-6_1)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi:10.1145/3332466.3374537)

Archibald, B. , Dunlop, F., Hoffmann, R., McCreesh, C. , Prosser, P. and Trimble, J. (2019) Sequential and parallel solution-biased search for subgraph algorithms. In: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2019), Thessaloniki, Greece, 4-7 June 2019, pp. 20-38. ISBN 9783030192112 (doi:10.1007/978-3-030-19212-9_2)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi:10.1007/978-3-030-29400-7_14)

Archibald, B. , Maier, P., Stewart, R., Trinder, P. and De Beule, J. (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi:10.1145/3115936.3115942)

This list was generated on Mon Sep 20 05:43:41 2021 BST.

Research datasets

Jump to: 2019 | 2018
Number of items: 2.

2019

Archibald, B. , Maier, P., Trinder, P. and Stewart, R. (2019) YewPar: Skeletons for Exact Combinatorial Search. [Data Collection]

2018

Archibald, B. (2018) Algorithmic Skeletons for Exact Combinatorial Search at Scale. [Data Collection]

This list was generated on Mon Sep 20 07:14:42 2021 BST.