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: 2020 | 2019 | 2018 | 2017
Number of items: 8.

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. , 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. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B. (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, (doi: 10.1109/JIOT.2020.2964026) (Early Online Publication)

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 Thu Jul 2 07:35:36 2020 BST.
Number of items: 8.

Articles

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, (doi: 10.1109/JIOT.2020.2964026) (Early Online Publication)

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. , 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 Thu Jul 2 07:35:36 2020 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 Thu Jul 2 04:50:09 2020 BST.