Person: Sophia Drossopoulou

DBLP: Drossopoulou:Sophia

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2014

2013

2013

2012

2010

2009

2008

2007

2007

2006

2006

2005

2005

2003

2002

2001

1999

1998

1997

1982

2017

2018

2017

2017

Wrote 26 papers:

IFM-2014-DrossopoulouN #how #policy #semantics

How to Break the Bank: Semantics of Capability Policies (SD, JN), pp. 18–35.

ECOOP-2013-SummersD #abstraction #recursion #semantics

A Formal Semantics for Isorecursive and Equirecursive State Abstractions (AJS, SD), pp. 129–153.

OOPSLA-2013-ClebschD #concurrent #garbage collection #manycore

Fully concurrent garbage collection of actors on many-core machines (SC, SD), pp. 553–570.

TACAS-2012-SonnexDE #automation #data type #named #proving #recursion

Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.

VMCAI-2010-SummersD #design pattern #reasoning

Considerate Reasoning and the Composite Design Pattern (AJS, SD), pp. 328–344.

ESOP-2009-CameronD #quantifier

Existential Quantification for Variant Ownership (NRC, SD), pp. 128–142.

ECOOP-2008-CameronDE #java

A Model for Java with Wildcards (NRC, SD, EE), pp. 2–26.

ECOOP-2008-DrossopoulouFMS #framework #invariant #verification

A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.

ECOOP-2007-DietlDM

Generic Universe Types (WD, SD, PM), pp. 28–53.

OOPSLA-2007-CameronDNS #multi

Multiple ownership (NRC, SD, JN, MJS), pp. 441–460.

ECOOP-2006-Dezani-CiancagliniMYD #object-oriented

Session Types for Object-Oriented Languages (MDC, DM, NY, SD), pp. 328–352.

ESOP-2006-DrossopoulouCN

Types for Hierarchic Shapes (SD, DGC, JN), pp. 1–6.

ECOOP-2005-AndersonGD #javascript #towards #type inference

Towards Type Inference for JavaScript (CA, PG, SD), pp. 428–452.

ECOOP-2005-SmithD #java #named

Chai: Traits for Java-Like Languages (CS, SD), pp. 453–478.

POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism

Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.

ESOP-2003-DrossopoulouLE #flexibility #modelling

Flexible Models for Dynamic Linking (SD, GL, SE), pp. 38–53.

OOPSLA-2002-ClarkeD #encapsulation

Ownership, encapsulation and the disjointness of type and effect (DGC, SD), pp. 292–310.

ECOOP-2001-DrossopoulouDDG #classification

Fickle : Dynamic Object Re-classification (SD, FD, MDC, PG), pp. 130–149.

LICS-1999-DrossopoulouEW #calculus #compilation #towards

A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (SD, SE, DW), pp. 147–156.

OOPSLA-1998-DrossopoulouWE #java #question #what

What is Java Binary Compatibility? (SD, DW, SE), pp. 341–361.

ECOOP-1997-DrossopoulouE #java #type safety

Java is Type Safe — Probably (SD, SE), pp. 389–418.

SCC-1982-DrossopoulouUPGDW #ada #attribute grammar

An Attribute Grammar for Ada (SD, JSU, GP, GG, MD, GW), pp. 334–348.

ESOP-2017-WoodDLE #composition #equivalence #memory management #verification

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (TW0, SD, SKL, SE), pp. 937–963.

ESOP-2018-FrancoCDVW #concurrent #correctness

Correctness of a Concurrent Object Collector for Actor Languages (JF, SC, SD, JV, TW), pp. 885–911.

Onward-2017-FrancoHWDE #abstraction #performance

You can have it all: abstraction and good cache performance (JF, MH, TW, SD, SE), pp. 148–167.

OOPSLA-2017-ClebschFDYWV #co-evolution #design #garbage collection #named #type system

Orca: GC and type system co-design for actor languages (SC, JF, SD, AMY, TW, JV), p. 28.