Overloading in preliminary Ada. - Guido Persch; Georg Winterstein; Manfred Dausmann; Sophia Drossopoulou (SIGPLAN, 1980)

The Tasking Facility of Ada. - Manfred Dausmann; Sophia Drossopoulou; Guido Persch; Georg Winterstein (Implementierungssprachen für nichtsequentielle Programmsysteme, 1981)

A Separate Compilation System for Ada. - Manfred Dausmann; Guido Persch; Sophia Drossopoulou; Georg Winterstein (Werkzeuge der Programmiertechnik, 1981)

An LALR (1) grammar for (revised) Ada. - Guido Persch; Georg Winterstein; Sophia Drossopoulou; Manfred Dausmann (ACM SIGPLAN Notices, 1981)

An Attribute Grammar for the Semantic Analysis of Ada - Jürgen Uhl; Sophia Drossopoulou; Guido Persch; Gerhard Goos; Manfred Dausmann; Georg Winterstein; Walter Kirchgässner (Springer, 1982)

The integration of existing database systems in an Ada environment. - Martin Bever; Manfred Dausmann; Sophia Drossopoulou; Walter Kirchgässner; Peter C. Lockemann; Guido Persch; Georg Winterstein (AdaTEC Conference on Ada, 1982)

An Attribute Grammar for Ada. - Sophia Drossopoulou; James S. Uhl; Guido Persch; Gerhard Goos; Manfred Dausmann; Georg Winterstein (SIGPLAN Symposium on Compiler Construction, 1982)

Verschmelzen von Aktionen in Zerteilern. - Sophia Drossopoulou (1983)

Parameterized Interfaces are Interfaces - AIAS. - Sophia Drossopoulou; Ross Paterson; Susan Eisenbach (Declarative Programming, 1991)

An Integrated Engineering Study Scheme in Computing. - Anthony Finkelstein; Jeff Kramer; Samson Abramsky; Krysia Broda; Sophia Drossopoulou; Susan Eisenbach (Comput. J., 1993)

Language and Architecture Paradigms as Object Classes. - Diomidis Spinellis; Sophia Drossopoulou; Susan Eisenbach (Programming Languages and System Architectures, 1994)

Object-Oriented Technology in Multiparadigm Language Implementation. - Diomidis Spinellis; Sophia Drossopoulou; Susan Eisenbach (J. Object Oriented Program., 1995)

Type-Checking Smalltalk. - Sophia Drossopoulou; Stephan Karathanos; Dan Yang (J. Object Oriented Program., 1996)

Java is Type Safe - Probably. - Sophia Drossopoulou; Susan Eisenbach (ECOOP, 1997)

What is Java Binary Compatibility? - Sophia Drossopoulou; David Wragg; Susan Eisenbach (OOPSLA, 1998)

Java Type System with Exceptions. - Sophia Drossopoulou (ECOOP Workshops, 1999)

Formalising Composition Oriented Programming. - Mark Skipper; Sophia Drossopoulou (ECOOP Workshops, 1999)

Describing the Semantics of Java and Proving Type Soundness. - Sophia Drossopoulou; Susan Eisenbach (Formal Syntax and Semantics of Java, 1999)

A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. - Sophia Drossopoulou; Susan Eisenbach; David Wragg (LICS, 1999)

Is the Java Type System Sound? - Sophia Drossopoulou; Susan Eisenbach; Sarfraz Khurshid (Theory Pract. Object Syst., 1999)

Formal Techniques for Java Programs. - Sophia Drossopoulou; Susan Eisenbach; Bart Jacobs 001; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 2000)

An Abstract Model of Java Dynamic Linking and Loading. - Sophia Drossopoulou (Types in Compilation, 2000)

Fickle : Dynamic Object Re-classification. - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ECOOP, 2001)

Formal Techniques for Java Programs. - Gary T. Leavens; Sophia Drossopoulou; Susan Eisenbach; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2001)

An Effective Translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ICTCS, 2001)

A type preserving translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (TOSCA, 2001)

Formal Techniques for Java-like Programs. - Sophia Drossopoulou; Susan Eisenbach; Gary T. Leavens; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2002)

Ownership, encapsulation and the disjointness of type and effect. - David G. Clarke; Sophia Drossopoulou (OOPSLA, 2002)

More dynamic object reclassification: Fickle|| - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ACM Trans. Program. Lang. Syst., 2002)

Aliasing, Confinement, and Ownership in Object-Oriented Programming. - David G. Clarke; Sophia Drossopoulou; James Noble 001 (ECOOP Workshops, 2003)

Flexible Models for Dynamic Linking. - Sophia Drossopoulou; Giovanni Lagorio; Susan Eisenbach (ESOP, 2003)

Refined Effects for Unanticipated Object Re-classification: Fickle3. - Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini (ICTCS, 2003)

Can addresses be types? (A case study: objects with delegation). - Christopher Anderson; Franco Barbanera; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou (WOOD, 2003)

BabyJ: from object based to class based programming via types. - Christopher Anderson; Sophia Drossopoulou (WOOD, 2003)

Preface. - Viviana Bono; Michele Bugliesi; Sophia Drossopoulou (WOOD, 2004)

Towards Type Inference for JavaScript. - Christopher Anderson; Paola Giannini; Sophia Drossopoulou (ECOOP, 2005)

Chai: Traits for Java-Like Languages. - Charles Smith; Sophia Drossopoulou (ECOOP, 2005)

Polymorphic bytecode: compositional compilation for Java-like languages. - Davide Ancona; Ferruccio Damiani; Sophia Drossopoulou; Elena Zucca (POPL, 2005)

A Distributed Object-Oriented Language with Session Types. - Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Alexander Joseph Ahern; Sophia Drossopoulou (TGC, 2005)

Flexible Bytecode for Linking in .NET. - Alex Buckley; Michelle Murray; Susan Eisenbach; Sophia Drossopoulou (Bytecode@ETAPS, 2005)

SCHOOL: a Small Chorded Object-Oriented Language. - Sophia Drossopoulou; Alexis Petrounias; Alex Buckley; Susan Eisenbach (DCM@ICALP, 2005)

Session Types for Object-Oriented Languages. - Mariangiola Dezani-Ciancaglini; Dimitris Mostrous; Nobuko Yoshida; Sophia Drossopoulou (ECOOP, 2006)

Formal Techniques for Java-Like Programs. - Davide Ancona; Sophia Drossopoulou; Atsushi Igarashi; Gary T. Leavens; Arnd Poetzsch-Heffter; Elena Zucca (ECOOP Workshops, 2006)

Types for Hierarchic Shapes. - Sophia Drossopoulou; David G. Clarke; James Noble 001 (ESOP, 2006)

Bounded Session Types for Object Oriented Languages. - Mariangiola Dezani-Ciancaglini; Elena Giachino; Sophia Drossopoulou; Nobuko Yoshida (FMCO, 2006)

A flexible model for dynamic linking in Java and C#. - Sophia Drossopoulou; Giovanni Lagorio; Susan Eisenbach (Theor. Comput. Sci., 2006)

Tribe: a simple virtual class calculus. - Dave Clarke 001; Sophia Drossopoulou; James Noble 001; Tobias Wrigstad (AOSD, 2007)

Generic Universe Types. - Werner Dietl; Sophia Drossopoulou; Peter Müller 001 (ECOOP, 2007)

Aliasing, Confinement, and Ownership in Object-Oriented Programming. - Dave Clarke 001; Sophia Drossopoulou; James Noble 001; Tobias Wrigstad (ECOOP Workshops, 2007)

Universe Types for Topology and Encapsulation. - Dave Cunningham; Werner Dietl; Sophia Drossopoulou; Adrian Francalanza; Peter Müller 001; Alexander J. Summers (FMCO, 2007)

Multiple ownership. - Nicholas Robert Cameron; Sophia Drossopoulou; James Noble 001; Matthew J. Smith (OOPSLA, 2007)

A provenly correct translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ACM Trans. Program. Lang. Syst., 2007)

A Unified Framework for Verification Techniques for Object Invariants. - Sophia Drossopoulou; Adrian Francalanza; Peter Müller 001; Alexander J. Summers (Types, Logics and Semantics for State, 2008)

A Model for Java with Wildcards. - Nicholas Cameron 001; Sophia Drossopoulou; Erik Ernst (ECOOP, 2008)

Formal Techniques for Java-Like Programs. - Elvira Albert; Anindya Banerjee 001; Sophia Drossopoulou; Marieke Huisman; Atsushi Igarashi; Gary T. Leavens; Peter Müller 001; Tobias Wrigstad (ECOOP Workshops, 2008)

Aliasing, Confinement, and Ownership in Object-Oriented Programming. - Dave Clarke 001; Sophia Drossopoulou; Peter Müller 001; James Noble 001; Tobias Wrigstad (ECOOP Workshops, 2008)

A type safe state abstraction for coordination in Java -like languages. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou (Acta Informatica, 2008)

On subtyping, wildcards, and existential types. - Nicholas Cameron 001; Sophia Drossopoulou (FTfJP@ECOOP, 2009)

Existential Quantification for Variant Ownership. - Nicholas Cameron 001; Sophia Drossopoulou (ESOP, 2009)

Objects and session types. - Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Dimitris Mostrous; Nobuko Yoshida (Inf. Comput., 2009)

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. - Alexander J. Summers; Sophia Drossopoulou; Peter Müller 001 (J. Object Technol., 2009)

Amalgamating sessions and methods in object-oriented languages with generics. - Sara Capecchi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Elena Giachino (Theor. Comput. Sci., 2009)

Towards a semantic model for Java wildcards. - Alexander J. Summers; Nicholas Cameron 001; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou (FTfJP@ECOOP, 2010)

Considerate Reasoning and the Composite Design Pattern. - Alexander J. Summers; Sophia Drossopoulou (VMCAI, 2010)

A sip of the Chalice. - Azalea Raad; Sophia Drossopoulou (FTfJP@ECOOP, 2011)

In memory of Manny Lehman, 'Father of Software Evolution'. - Gerardo Canfora; Darren Dalcher; David Raffo; Victor R. Basili; Juan Fernández-Ramil; Václav Rajlich; Keith H. Bennett; Liz Burd; Malcolm Munro; Sophia Drossopoulou; Barry W. Boehm; Susan Eisenbach; et al. (J. Softw. Maintenance Res. Pract., 2011)

Separating ownership topology and encapsulation with generic universe types. - Werner Dietl; Sophia Drossopoulou; Peter Müller 001 (ACM Trans. Program. Lang. Syst., 2011)

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. - Davide Ancona; Sophia Drossopoulou; Viviana Mascardi (DALT, 2012)

Zeno: An Automated Prover for Properties of Recursive Data Structures. - William Sonnex; Sophia Drossopoulou; Susan Eisenbach (TACAS, 2012)

The need for capability policies. - Sophia Drossopoulou; James Noble 001 (FTfJP@ECOOP, 2013)

A Formal Semantics for Isorecursive and Equirecursive State Abstractions. - Alexander J. Summers; Sophia Drossopoulou (ECOOP, 2013)

Refactoring Boundary. - Tim Wood 004; Sophia Drossopoulou (ICCSW, 2013)

Fully concurrent garbage collection of actors on many-core machines. - Sylvan Clebsch; Sophia Drossopoulou (OOPSLA, 2013)

Policy as Types. - Lucius Gregory Meredith; Mike Stay; Sophia Drossopoulou (CoRR, 2013)

Understanding Ownership Types with Dependent Types. - Nicholas Cameron 001; Sophia Drossopoulou; James Noble 001 (Aliasing in Object-Oriented Programming, 2013)

Rationally Reconstructing the Escrow Example. - James Noble 001; Sophia Drossopoulou (FTfJP@ECOOP, 2014)

Calculating communication costs with Sessions Types and Sizes. - Juliana Franco; Sophia Drossopoulou; Nobuko Yoshida (ICCSW, 2014)

How to Break the Bank: Semantics of Capability Policies. - Sophia Drossopoulou; James Noble 001 (IFM, 2014)

Scaling Future Software: The Manycore Challenge. - Frank S. de Boer; Einar Broch Johnsen; Dave Clarke 001; Sophia Drossopoulou; Nobuko Yoshida; Tobias Wrigstad (ERCIM News, 2014)

Deny capabilities for safe, fast actors. - Sylvan Clebsch; Sophia Drossopoulou; Sebastian Blessing; Andy McNeil (AGERE!@SPLASH, 2015)

Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. - Sophia Drossopoulou; James Noble 001; Mark S. Miller (PLAS@ECOOP, 2015)

Behavioural types for non-uniform memory accesses. - Juliana Franco; Sophia Drossopoulou (PLACES, 2015)

Quicksort Revisited - Verifying Alternative Versions of Quicksort. - Razvan Certezeanu; Sophia Drossopoulou; Benjamin Egelund-Müller; K. Rustan M. Leino; Sinduran Sivarajan; Mark J. Wheelhouse (Theory and Practice of Formal Methods, 2016)

Permission and Authority Revisited towards a formalisation. - Sophia Drossopoulou; James Noble 001; Mark S. Miller; Toby C. Murray (FTfJP@ECOOP, 2016)

Tree topologies for causal message delivery. - Sebastian Blessing; Sylvan Clebsch; Sophia Drossopoulou (AGERE!@SPLASH, 2017)

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. - Tim Wood 004; Sophia Drossopoulou; Shuvendu K. Lahiri; Susan Eisenbach (ESOP, 2017)

You can have it all: abstraction and good cache performance. - Juliana Franco; Martin Hagelin; Tobias Wrigstad; Sophia Drossopoulou; Susan Eisenbach (Onward!, 2017)

Orca: GC and type system co-design for actor languages. - Sylvan Clebsch; Juliana Franco; Sophia Drossopoulou; Albert Mingkun Yang; Tobias Wrigstad; Jan Vitek (Proc. ACM Program. Lang., 2017)

Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. - Alexandros Tasos; Juliana Franco; Tobias Wrigstad; Sophia Drossopoulou; Susan Eisenbach (ICOOOLPS@ECOOP, 2018)

Correctness of a Concurrent Object Collector for Actor Languages. - Juliana Franco; Sylvan Clebsch; Sophia Drossopoulou; Jan Vitek; Tobias Wrigstad (ESOP, 2018)

Writing safe smart contracts in Flint. - Franklin Schrans; Susan Eisenbach; Sophia Drossopoulou (Programming, 2018)

Run, actor, run: towards cross-actor language benchmarking. - Sebastian Blessing; Kiko Fernandez-Reyes; Albert Mingkun Yang; Sophia Drossopoulou; Tobias Wrigstad (AGERE!@SPLASH, 2019)

snmalloc: a message passing allocator. - Paul Liétar; Theodore Butler; Sylvan Clebsch; Sophia Drossopoulou; Juliana Franco; Matthew J. Parkinson; Alex Shamis; Christoph M. Wintersteiger; David Chisnall (ISMM, 2019)

Safely Abstracting Memory Layouts. - Juliana Franco; Alexandros Tasos; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (CoRR, 2019)

Flint for Safer Smart Contracts. - Franklin Schrans; Daniel Hails; Alexander Harkness; Sophia Drossopoulou; Susan Eisenbach (CoRR, 2019)

Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). - Alexandros Tasos; Juliana Franco; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (ECOOP, 2020)

Holistic Specifications for Robust Programs. - Sophia Drossopoulou; James Noble 001; Julian Mackay; Susan Eisenbach (FASE, 2020)

Implementation of SHAPES Case Studies (Artifact). - Alexandros Tasos; Juliana Franco; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (Dagstuhl Artifacts Ser., 2020)

Reshape your layouts, not your programs: A safe language extension for better cache locality. - Alexandros Tasos; Juliana Franco; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (Sci. Comput. Program., 2020)

Holisitic Specifications for Robust Programs - Coq Model. - Sophia Drossopoulou; James Noble 001; Julian Mackay; Susan Eisenbach (Zenodo, 2020)

Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. - John Ahlgren; Kinga Bojarczuk; Sophia Drossopoulou; Inna Dvortsova; Johann George; Natalija Gucevska; Mark Harman; Maria Lomeli; Simon M. M. Lucas; Erik Meijer 001; Steve Omohundro; Rubmary Rojas; et al. (EASE, 2021)

Necessity Specifications for Robustness. - Julian Mackay; Sophia Drossopoulou; James Noble 001; Susan Eisenbach (CoRR, 2022)

Necessity specifications for robustness. - Julian Mackay; Susan Eisenbach; James Noble 001; Sophia Drossopoulou (Proc. ACM Program. Lang., 2022)

Necessity Specifications for Robustness. - Julian Mackay; Sophia Drossopoulou; James Noble 001; Susan Eisenbach (Zenodo, 2022)

Reference Capabilities for Flexible Memory Management: Extended Version. - Ellen Arvidsson; Elias Castegren; Sylvan Clebsch; Sophia Drossopoulou; James Noble 001; Matthew J. Parkinson; Tobias Wrigstad (CoRR, 2023)

Reference Capabilities for Flexible Memory Management. - Ellen Arvidsson; Elias Castegren; Sylvan Clebsch; Sophia Drossopoulou; James Noble 001; Matthew J. Parkinson; Tobias Wrigstad (Proc. ACM Program. Lang., 2023)

When Concurrency Matters: Behaviour-Oriented Concurrency. - Luke Cheeseman; Matthew J. Parkinson; Sylvan Clebsch; Marios Kogias; Sophia Drossopoulou; David Chisnall; Tobias Wrigstad; Paul Liétar (Proc. ACM Program. Lang., 2023)

Reasoning about External Calls. - Sophia Drossopoulou; Julian Mackay; Susan Eisenbach; James Noble 001 (CoRR, 2025)