Concurrent Data Access: Spatial and Temporal Reference Management
Lead Research Organisation:
Imperial College London
Department Name: Computing
Abstract
I will explore a corpus of problems to establish case studies, studying the programming patterns that are of
interest for the questions I've posed. These will motivate designing new semantics and extensions to the
type system, formalising them and proving the normal goals of well-formedness and soundness. Revisiting the
case studies with the new extensions will evaluate the success of the solution, with which the design will be
iteratively fine tuned.
Research area: programming languages
interest for the questions I've posed. These will motivate designing new semantics and extensions to the
type system, formalising them and proving the normal goals of well-formedness and soundness. Revisiting the
case studies with the new extensions will evaluate the success of the solution, with which the design will be
iteratively fine tuned.
Research area: programming languages
Organisations
People |
ORCID iD |
Sophia Drossopoulou (Primary Supervisor) | |
Luke Cheeseman (Student) |
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/R513052/1 | 01/10/2018 | 30/09/2023 | |||
2282414 | Studentship | EP/R513052/1 | 01/10/2019 | 31/03/2023 | Luke Cheeseman |