Sophia Drossopoulou

Registered user since Sat 6 Jun 2015

Name: Sophia Drossopoulou

Bio: I am a Professor of Programming Languages in the Department of Computing, Imperial College, London, UK.

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://wp.doc.ic.ac.uk/sd/

Research interests: Object-oriented programming, Programming Languages, Semantics

Contributions

AGERE 2019Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track
ISMM 2019Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track
SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2019Author of Run, actor, run within the Curry On-track
Session Chair of Keynote (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Author of Operational Semantics driving the Type System Design: Reference Capabilities in Pony within the Summer School-track
GRACE 2018Committee Member in Program Committee within the GRACE 2018-track
OCAP 2018Committee Member in Program Committee within the OCAP 2018-track
FTfJP 2018Author of Safely Abstracting Memory Layouts within the FTfJP-track
Author of Towards specifications of robustness -- the things that programs do *not* do within the FTfJP-track
ICOOOLPS 2018Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
Committee Member in Distinguished Paper Committee within the OOPSLA-track
OCAP 2017Committee Member in Program Committee within the OCAP 2017-track
Author of Specifying Attenuation within the OCAP 2017-track
AGERE 2017Author of Tree Topologies for Causal Message Delivery within the AGERE 2017-track
Onward! 2017Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
OOPSLA 2016 PC MeetingSpeaker of Principled Language Design within the Workshop-track
STOP 2016Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
FTfJP 2016Author of Permission and Authority Revisited: Towards a Formalization within the FTfJP-track
IWACO 2016Author of Abstract Data Types in Object-Capability Systems within the IWACO-track
Author of Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations within the IWACO-track
GRACE 2016Committee Member in Program Committee within the GRACE-track
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP and ISSTAAuthor of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track
Mentor in Mentors within the Summer School-track
SPLASH 2017Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track
ECOOP 2017Session Chair of Language and Library Design (part of ECOOP Research Papers)
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMMGeneral Chair in Organizing Committee
ECOOP 2016Session Chair of Session 6 (part of Research Track)
Committee Member in External Review Committee within the Research Track-track
AGERE! 2015Author of Deny Capabilities for Safe, Fast Actors within the AGERE-track
SPLASH 2016Committee Member in Program Committee within the OOPSLA-track
ICOOOLPS 2015Author of Ownership and Reference Counting based Garbage Collection in the Actor World within the ICOOOLPS-track
FTfJP 2015Committee Member in Steering Committee within the FTfJP-track
PLAS 2015Author of Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World within the PLAS-track
FOOLAuthor of Program Equivalence through Trace Equivalence within the FOOL-track
Committee Member in Program Committee within the FOOL-track
SPLASH 2015Committee Member in External Review Committee within the OOPSLA-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015Author of Pony: making it easy to write efficient, concurrent, data-race free programs within the Curry On-track
Onward! 2014Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014Committee Member in Program Committee within the Workshops-track
Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013Author of Fully Concurrent Garbage Collection of Actors on Many-Core Machines within the OOPSLA-track