Research output per year
Research output per year
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Adrian Johnstone
- Department of Computer Science - Professor of Computing
- Centre for Software Language Engineering
- Centre for Programming Languages and Systems
Person: Staff - Academic staff, Academic
-
Automated Verification of Parametric Channel-Based Process Communication
Saioc, G.-V., Lange, J. & Møller, A., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, p. 2070-2096 27 p., 344.Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Downloads (Pure) -
Fair Asynchronous Session Subtyping
Bravetti, M., Lange, J. & Zavattaro, G., 7 Oct 2024, In: Logical Methods in Computer Science. 20, 4, p. 5:1-5:47 47 p., 5.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Downloads (Pure) -
Parikh's Theorem Made Symbolic
Hague, M., Jeż, A. & Lin, A., 5 Jan 2024, Principles of Programming Languages. p. 1945-1977 33 p. 65Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile48 Downloads (Pure)
-
REDONDA: A Next-generation Byzantine State-Machine Replication Protocol for Blockchain.
O'Keeffe, D. (PI)
Eng & Phys Sci Res Council EPSRC
1/03/24 → 28/02/27
Project: Research
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Sammartino, M. (PI)
Eng & Phys Sci Res Council EPSRC
6/01/20 → 31/03/25
Project: Research
-
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. (PI) & Hurley-Smith, D. (CoI)
1/10/22 → 31/03/23
Project: Research
-
ACM/IEEE Symposium on Logic in Computer Science
Hague, M. (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Hague, M. (Member of programme committee)
25 Oct 2021 → 27 Oct 2021Activity: Participating in or organising an event › Participation in conference
Datasets
-
A Reference GLL Implementation - language corpora repository
Johnstone, A. (Creator) & Scott, E. (Other), Royal Holloway, University of London, 23 Oct 2023
https://github.com/AJohnstone2007/referenceLanguageCorpora
Dataset
-
A reference GLL implementation - code base
Johnstone, A. (Creator), Royal Holloway, University of London, 20 Oct 2023
https://github.com/AJohnstone2007/referenceImplementation
Dataset