Sophia Drossopoulou

Registered user since Sat 6 Jun 2015

Name:Sophia Drossopoulou
Bio:

I am a member of the FlaRe/Infer team at Meta, and a Professor of Programming Languages at the Department of Computing, Imperial College, London, UK.

Country:United Kingdom
Affiliation:Meta and Imperial College London
Research interests:Object-oriented programming, Programming Languages, Semantics

Contributions

SPLASH 2023 Committee Member in Steering Committee
Associate Chair in OOPSLA Review Committee within the OOPSLA-track
SPLASH 2022 Committee Member in Steering Committee
Session Chair of Session 2 (part of V-OOPSLA)
Author of Necessity Specifications for Robustness within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
Session Chair of VCOOP 2 (part of Research Papers)
AGERE 2021 Committee Member in Program Committee within the AGERE 2021-track
SPLASH 2021 Review Committee Chair in Review Committee within the OOPSLA-track
Session Chair of Awards (part of Awards)
Committee Member in Steering Committee
Author of Future of Conferences within the SIGPLAN Business-track
OOPSLA Review Committee Chair in Organizing Committee
PLMW 2021 Speaker of εσόμεθα πολλώ κάρρονες – making your way in a changing world within the PLMW 2021-track
Invited Speaker in Invited Speakers within the PLMW 2021-track
SPLASH 2020 Session Chair of W-4 (part of OOPSLA)
Session Chair of W-1 (part of OOPSLA)
Author of Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality within the Posters-track
Session Chair of F-5B (part of OOPSLA)
Session Chair of T-4 (part of OOPSLA)
Session Chair of T-4 (part of OOPSLA)
Session Chair of F-1B (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Committee Member in Steering Committee
ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track
Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track
Author of Implementation of SHAPES case studies within the Artifacts-track
SPLASH 2019 Session Chair of Concurrency (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
AGERE 2019 Keynote Speaker of Pony: Semantics and Type System Co-Design within the AGERE 2019-track
Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track
ECOOP 2019 Author 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
ISMM 2019 Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track
GRACE 2018 Committee Member in Program Committee within the GRACE 2018-track
OCAP 2018 Committee Member in Program Committee within the OCAP 2018-track
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
Committee Member in Distinguished Paper Committee within the OOPSLA-track
FTfJP 2018 Author 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 2018 Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track
Mentor in Mentors within the Summer School-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
OCAP 2017 Committee Member in Program Committee within the OCAP 2017-track
Author of Specifying Attenuation within the OCAP 2017-track
Onward! 2017 Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track
SPLASH 2017 Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track
AGERE 2017 Author of Tree Topologies for Causal Message Delivery within the AGERE 2017-track
ECOOP 2017 Session Chair of Language and Library Design (part of ECOOP Research Papers)
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM General Chair in Organizing Committee
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
ECOOP 2016 Session Chair of Session 6 (part of Research Track)
Committee Member in External Review Committee within the Research Track-track
FTfJP 2016 Author of Permission and Authority Revisited: Towards a Formalization within the FTfJP-track
STOP 2016 Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
IWACO 2016 Author 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 2016 Committee Member in Program Committee within the GRACE-track
OOPSLA 2016 PC Meeting Speaker of Principled Language Design within the Workshop-track
SPLASH 2015 Committee Member in External Review Committee within the OOPSLA-track
AGERE! 2015 Author of Deny Capabilities for Safe, Fast Actors within the AGERE-track
ECOOP 2015 Author of Pony: making it easy to write efficient, concurrent, data-race free programs within the Curry On-track
ICOOOLPS 2015 Author of Ownership and Reference Counting based Garbage Collection in the Actor World within the ICOOOLPS-track
PLAS 2015 Author of Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World within the PLAS-track
FTfJP 2015 Committee Member in Steering Committee within the FTfJP-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
FOOL Author of Program Equivalence through Trace Equivalence within the FOOL-track
Committee Member in Program Committee within the FOOL-track
SPLASH 2014 Committee Member in Program Committee within the Workshops-track
Committee Member in External Review Committee within the OOPSLA-track
Onward! 2014 Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2013 Author of Fully Concurrent Garbage Collection of Actors on Many-Core Machines within the OOPSLA-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track