Research Activities – Current

• Object Capability Policies
  • The Need for Capability Policies, Drossopoulou and Noble, FTjJP 2013
  • Towards Capability Policy Specification and Verification, unpublished
  • First Steps towards reasoning about Trust and Risk in the open world: the Escrow example. Drossopoulou and Noble.
    Slides based on an invited talk given at iFM 2014, in Bertinoro.
• Concurrent Programming
  • Fully Concurrent Garbage Collection of Actors on Many-Core Machines, Clebsch and Drossopoulou, OOPSLA 2013
• Program Verification
  • A Formal Semantics for Isorecursive and Equirecursive State Abstractions, Summers and Drossopoulou, ECOOP 2013
• Characterization of Program Evolution
  • Refactoring Boundary, Wood and Drossopoulou, ICCSW 2013
• Theorem Proving
  • Zeno: An automated prover for properties of recursive data structures, Sonnex and Drossopoulou and Eisenbach, TACAS 2012

Research Grant (current)

• Upscale
  UpScale‘s vision is to provide programming language support to efficiently develop applications that seamlessly scale to the available parallelism of manycore chips without abandoning the object-oriented paradigm and the associated software engineering methodologies.
  Participants: CWI, Imperial College, University of Oslo, Uppsala University

Research Interests

• Object Oriented Programming
• Type and Module Systems
• Ownership Types
• Dynamic Linking