BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × Finland
1 × Germany
1 × Hungary
1 × Poland
1 × Spain
2 × Canada
2 × France
2 × Italy
2 × United Kingdom
4 × USA
Collaborated with:
S.Eisenbach A.J.Summers J.Noble N.R.Cameron S.Clebsch D.G.Clarke D.Wragg P.Müller P.Giannini J.Franco T.Wrigstad M.Dezani-Ciancaglini C.Smith F.Damiani J.Vitek W.Sonnex E.Ernst W.Dietl C.Anderson G.Lagorio A.Francalanza M.J.Smith D.Mostrous N.Yoshida D.Ancona E.Zucca T.W.0004 S.K.Lahiri Martin Hagelin J.S.Uhl G.Persch G.Goos M.Dausmann G.Winterstein A.M.Yang
Talks about:
type (7) languag (5) java (5) object (4) ownership (3) model (3) actor (3) composit (2) abstract (2) concurr (2)

Person: Sophia Drossopoulou

DBLP DBLP: Drossopoulou:Sophia

Facilitated 2 volumes:

ECOOP 2009Ed
ESOP 2008Ed

Contributed to:

IFM 20142014
ECOOP 20132013
OOPSLA 20132013
TACAS 20122012
VMCAI 20102010
ESOP 20092009
ECOOP 20082008
ECOOP 20072007
OOPSLA 20072007
ECOOP 20062006
ESOP 20062006
ECOOP 20052005
POPL 20052005
ESOP 20032003
OOPSLA 20022002
ECOOP 20012001
LICS 19991999
OOPSLA 19981998
ECOOP 19971997
SCC 19821982
ESOP 20172017
ESOP 20182018
Onward! 20172017
OOPSLA 20172017

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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.