School of Computing Science

Mr Matthew Alan Le Brun

  • Research Assistant (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023 | 2021
Number of items: 4.

2025

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2025) Multiparty Session Types with a Bang! In: 34th European Symposium on Programming (ESOP 2025), Hamilton, Canada, 3–8 May 2025, pp. 125-153. ISBN 9783031911200 (doi: 10.1007/978-3-031-91121-7_6)

2024

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) MAGπ!: The Role of Replication in Typing Failure-Prone Communication. In: DisCoTec 2024, Gronigen, Netherlands, 17-21 June 2024, pp. 99-117. ISBN 9783031626449 (doi: 10.1007/978-3-031-62645-6_6)

2023

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2023) MAGπ: Types for Failure-Prone Communication. In: 32nd European Symposium on Programming (ESOP23), Paris, France, 22-27 April 2023, pp. 363-391. (doi: 10.1007/978-3-031-30044-8_14)

2021

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122, Attard, Duncan Paul and Francalanza, Adrian (2021) Graft: General Purpose Raft Consensus in Elixir. In: Erlang 2021: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Virtual, Republic of Korea, 26 August 2021, pp. 2-14. ISBN 9781450386128 (doi: 10.1145/3471871.3472963)

This list was generated on Fri Apr 3 16:46:25 2026 BST.
Jump to: Conference Proceedings
Number of items: 4.

Conference Proceedings

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2025) Multiparty Session Types with a Bang! In: 34th European Symposium on Programming (ESOP 2025), Hamilton, Canada, 3–8 May 2025, pp. 125-153. ISBN 9783031911200 (doi: 10.1007/978-3-031-91121-7_6)

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2024) MAGπ!: The Role of Replication in Typing Failure-Prone Communication. In: DisCoTec 2024, Gronigen, Netherlands, 17-21 June 2024, pp. 99-117. ISBN 9783031626449 (doi: 10.1007/978-3-031-62645-6_6)

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122 and Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 (2023) MAGπ: Types for Failure-Prone Communication. In: 32nd European Symposium on Programming (ESOP23), Paris, France, 22-27 April 2023, pp. 363-391. (doi: 10.1007/978-3-031-30044-8_14)

Le Brun, Matthew Alan ORCID logoORCID: https://orcid.org/0000-0001-7394-0122, Attard, Duncan Paul and Francalanza, Adrian (2021) Graft: General Purpose Raft Consensus in Elixir. In: Erlang 2021: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Virtual, Republic of Korea, 26 August 2021, pp. 2-14. ISBN 9781450386128 (doi: 10.1145/3471871.3472963)

This list was generated on Fri Apr 3 16:46:25 2026 BST.