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

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

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