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):
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Alejandro Flores Lamas
- Department of Computer Science - Postdoctoral Research Assistant
- Centre for Programming Languages and Systems
Person: Staff - Academic staff, Staff - Research staff
-
A model of actors and grey failures
Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 14 Jun 2022, 24th International Conference on Coordination Models and Languages. Springer-Verlag, Vol. 12371.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Hack the Heap: Heap Layout Manipulation made Easy
Gennissen, J. & O'Keeffe, D., 26 May 2022, Hack the Heap: Heap Layout Manipulation made Easy. 16th Workshop on Offensive Technologies (WOOT) 2022Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access8 Downloads (Pure)
-
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. & Hurley-Smith, D.
1/10/22 → 31/03/23
Project: Research
-
Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina
Engelmann, S., Kuenzel, S., Tisan, A., Fisher, R., Lowry, D., Nisbet-Jones, P., Adey, P., Clemitshaw, K., France, J. & Johnstone, A.
1/04/20 → 31/07/21
Project: Research
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC
6/01/20 → 30/09/22
Project: Research
-
ACM/IEEE Symposium on Logic in Computer Science
Matthew Hague (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in conference
-
Principles of Programming Languages
Matthew Hague (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Matthew Hague (Member of programme committee)
25 Oct 2021 → 27 Oct 2021Activity: Participating in or organising an event › Participation in conference