Mr Cristian Urlea

  • Research Associate, Research Associate (School of Computing Science)

email: Cristian.Urlea@glasgow.ac.uk

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

Import to contacts

ORCID iDhttps://orcid.org/0000-0001-7851-8916

Biography

I am a Research Associate working on the Capable VMs project  which aims to investigate how programming language virtual machines can best utilize hardware capabilities, such as those found in CHERI.

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

I obtained a Ph.D in Computing Science from the University of Glasgow in 2021. My thesis focused on optimizing Design Space Exploration, as part of a Functional Programming Language compiler, through the use of category theoretical constructions.

Research interests

  • Parallel and Distributed Computing
  • Programming Languages and Compilers
  • Program Optimization and Security

Publications

List by: Type | Date

Jump to: 2023 | 2020 | 2019
Number of items: 3.

2023

De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)

2020

Urlea, C. , Vanderbauwhede, W. and Nabi, S. W. (2020) Efficient FPGA Cost-Performance Space Exploration Using Type-driven Program Transformations. In: 2019 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2019), Cancun, Mexico, 9-11 Dec 2019, ISBN 9781728119571 (doi: 10.1109/ReConFig48160.2019.8994801)

2019

Vanderbauwhede, W. , Nabi, S. W. and Urlea, C. (2019) Type-driven automated program transformations and cost modelling for optimising streaming programs on FPGAs. International Journal of Parallel Programming, 47(1), pp. 114-136. (doi: 10.1007/s10766-018-0572-z)

This list was generated on Wed May 29 00:06:36 2024 BST.
Number of items: 3.

Articles

Vanderbauwhede, W. , Nabi, S. W. and Urlea, C. (2019) Type-driven automated program transformations and cost modelling for optimising streaming programs on FPGAs. International Journal of Parallel Programming, 47(1), pp. 114-136. (doi: 10.1007/s10766-018-0572-z)

Conference Proceedings

De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)

Urlea, C. , Vanderbauwhede, W. and Nabi, S. W. (2020) Efficient FPGA Cost-Performance Space Exploration Using Type-driven Program Transformations. In: 2019 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2019), Cancun, Mexico, 9-11 Dec 2019, ISBN 9781728119571 (doi: 10.1109/ReConFig48160.2019.8994801)

This list was generated on Wed May 29 00:06:36 2024 BST.