Sophia Drossopoulou

According to our database, Sophia Drossopoulou authored at least 105 papers between 1980 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., October, 2023

Reference Capabilities for Flexible Memory Management.

Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad

Proc. ACM Program. Lang., October, 2023

Reference Capabilities for Flexible Memory Management: Extended Version.

Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad

CoRR, 2023

2022

<i>Necessity</i> specifications for robustness.

Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou

Proc. ACM Program. Lang., 2022

Necessity Specifications for Robustness.

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach

CoRR, 2022

2021

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, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

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

Implementation of SHAPES Case Studies (Artifact).

Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach

Dagstuhl Artifacts Ser., 2020

Holistic Specifications for Robust Programs.

Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach

Proceedings of the Fundamental Approaches to Software Engineering, 2020

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

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Flint for Safer Smart Contracts.

Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach

CoRR, 2019

Safely Abstracting Memory Layouts.

Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach

CoRR, 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

Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management, 2019

Run, actor, run: towards cross-actor language benchmarking.

Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019

2018

Writing safe smart contracts in Flint.

Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Correctness of a Concurrent Object Collector for Actor Languages.

Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad

Proceedings of the Programming Languages and Systems, 2018

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

Proceedings of the 13th Workshop on Implementation, 2018

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

You can have it all: abstraction and good cache performance.

Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.

Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2017

Tree topologies for causal message delivery.

Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou

Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, 2017

2016

Permission and Authority Revisited towards a formalisation.

Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Quicksort Revisited - Verifying Alternative Versions of Quicksort.

Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Behavioural types for non-uniform memory accesses.

Juliana Franco, Sophia Drossopoulou

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World.

Sophia Drossopoulou, James Noble, Mark S. Miller

Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

Deny capabilities for safe, fast actors.

Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

Scaling Future Software: The Manycore Challenge.

Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad

ERCIM News, 2014

How to Break the Bank: Semantics of Capability Policies.

Sophia Drossopoulou, James Noble

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Calculating communication costs with Sessions Types and Sizes.

Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Rationally Reconstructing the Escrow Example.

James Noble, Sophia Drossopoulou

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

2013

Understanding Ownership Types with Dependent Types.

Nicholas Cameron, Sophia Drossopoulou, James Noble

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Policy as Types.

Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou

CoRR, 2013

Fully concurrent garbage collection of actors on many-core machines.

Sylvan Clebsch, Sophia Drossopoulou

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Refactoring Boundary.

Tim Wood, Sophia Drossopoulou

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

A Formal Semantics for Isorecursive and Equirecursive State Abstractions.

Alexander J. Summers, Sophia Drossopoulou

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

The need for capability policies.

Sophia Drossopoulou, James Noble

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012

Zeno: An Automated Prover for Properties of Recursive Data Structures.

William Sonnex, Sophia Drossopoulou, Susan Eisenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason.

Davide Ancona, Sophia Drossopoulou, Viviana Mascardi

Proceedings of the Declarative Agent Languages and Technologies X, 2012

2011

Separating ownership topology and encapsulation with generic universe types.

Werner Dietl, Sophia Drossopoulou, Peter Müller

ACM Trans. Program. Lang. Syst., 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, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry

J. Softw. Maintenance Res. Pract., 2011

A sip of the Chalice.

Azalea Raad, Sophia Drossopoulou

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

2010

Considerate Reasoning and the Composite Design Pattern.

Alexander J. Summers, Sophia Drossopoulou

Proceedings of the Verification, 2010

Towards a semantic model for Java wildcards.

Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

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

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.

Alexander J. Summers, Sophia Drossopoulou, Peter Müller

J. Object Technol., 2009

Objects and session types.

Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida

Inf. Comput., 2009

Existential Quantification for Variant Ownership.

Nicholas Cameron, Sophia Drossopoulou

Proceedings of the Programming Languages and Systems, 2009

On subtyping, wildcards, and existential types.

Nicholas Cameron, Sophia Drossopoulou

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008

A type safe state abstraction for coordination in Java -like languages.

Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou

Acta Informatica, 2008

Aliasing, Confinement, and Ownership in Object-Oriented Programming.

Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

Formal Techniques for Java-Like Programs.

Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

A Model for Java with Wildcards.

Nicholas Cameron, Sophia Drossopoulou, Erik Ernst

Proceedings of the ECOOP 2008, 2008

A Unified Framework for Verification Techniques for Object Invariants.

Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers

Proceedings of the Types, Logics and Semantics for State, 03.02. - 08.02.2008, 2008

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

Multiple ownership.

Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Universe Types for Topology and Encapsulation.

Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Aliasing, Confinement, and Ownership in Object-Oriented Programming.

Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Generic Universe Types.

Werner Dietl, Sophia Drossopoulou, Peter Müller

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Tribe: a simple virtual class calculus.

Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2006

A flexible model for dynamic linking in Java and C#.

Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach

Theor. Comput. Sci., 2006

Bounded Session Types for Object Oriented Languages.

Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Types for Hierarchic Shapes.

Sophia Drossopoulou, David G. Clarke, James Noble

Proceedings of the Programming Languages and Systems, 2006

Formal Techniques for Java-Like Programs.

Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Session Types for Object-Oriented Languages.

Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou

Proceedings of the ECOOP 2006, 2006

2005

SCHOOL: a Small Chorded Object-Oriented Language.

Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Flexible Bytecode for Linking in .NET.

Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou

Proceedings of the First Workshop on Bytecode Semantics, 2005

A Distributed Object-Oriented Language with Session Types.

Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Polymorphic bytecode: compositional compilation for Java-like languages.

Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

<i>Chai</i>: Traits for Java-Like Languages.

Charles Smith, Sophia Drossopoulou

Proceedings of the ECOOP 2005, 2005

Towards Type Inference for JavaScript.

Christopher Anderson, Paola Giannini, Sophia Drossopoulou

Proceedings of the ECOOP 2005, 2005

2004

Preface.

Viviana Bono, Michele Bugliesi, Sophia Drossopoulou

Proceedings of the Second Workshop on Object Oriented Developments, 2004

2003

BabyJ: from object based to class based programming via types.

Christopher Anderson, Sophia Drossopoulou

Proceedings of the Workshop on Object Oriented Developments, 2003

Can addresses be types? (A case study: objects with delegation).

Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou

Proceedings of the Workshop on Object Oriented Developments, 2003

Refined Effects for Unanticipated Object Re-classification: Fickle₃.

Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Flexible Models for Dynamic Linking.

Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2003

Aliasing, Confinement, and Ownership in Object-Oriented Programming.

David G. Clarke, Sophia Drossopoulou, James Noble

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002

More dynamic object reclassification: Fickle_||

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini

ACM Trans. Program. Lang. Syst., 2002

Ownership, encapsulation and the disjointness of type and effect.

David G. Clarke, Sophia Drossopoulou

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Formal Techniques for Java-like Programs.

Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology, 2002

2001

A type preserving translation of Fickle into Java.

Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

An Effective Translation of Fickle into Java.

Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Formal Techniques for Java Programs.

Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

Fickle : Dynamic Object Re-classification.

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Proceedings of the ECOOP 2001, 2001

2000

An Abstract Model of Java Dynamic Linking and Loading.

Sophia Drossopoulou

Proceedings of the Types in Compilation, Third International Workshop, 2000

Formal Techniques for Java Programs.

Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, 2000

1999

Is the Java Type System Sound?

Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid

Theory Pract. Object Syst., 1999

A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.

Sophia Drossopoulou, Susan Eisenbach, David Wragg

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Describing the Semantics of Java and Proving Type Soundness.

Sophia Drossopoulou, Susan Eisenbach

Proceedings of the Formal Syntax and Semantics of Java, 1999

Formalising Composition Oriented Programming.

Mark Skipper, Sophia Drossopoulou

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Java Type System with Exceptions.

Sophia Drossopoulou

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

What is Java Binary Compatibility?

Sophia Drossopoulou, David Wragg, Susan Eisenbach

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997

Java is Type Safe - Probably.

Sophia Drossopoulou, Susan Eisenbach

Proceedings of the ECOOP'97, 1997

1996

Type-Checking Smalltalk.

Sophia Drossopoulou, Stephan Karathanos, Dan Yang

J. Object Oriented Program., 1996

1995

Object-Oriented Technology in Multiparadigm Language Implementation.

Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach

J. Object Oriented Program., 1995

1994

Language and Architecture Paradigms as Object Classes.

Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach

Proceedings of the Programming Languages and System Architectures, 1994

1993

An Integrated Engineering Study Scheme in Computing.

Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach

Comput. J., 1993

1991

Parameterized Interfaces are Interfaces - AIAS.

Sophia Drossopoulou, Ross Paterson, Susan Eisenbach

Proceedings of the Declarative Programming, 1991

1983

Verschmelzen von Aktionen in Zerteilern.

Sophia Drossopoulou

PhD thesis, 1983

1982

An Attribute Grammar for Ada.

Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 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

Proceedings of the AdaTEC Conference on Ada, 1982

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

Lecture Notes in Computer Science 139, Springer, ISBN: 3-540-11571-4, 1982

1981

An LALR (1) grammar for (revised) Ada.

Guido Persch, Georg Winterstein, Sophia Drossopoulou, Manfred Dausmann

ACM SIGPLAN Notices, 1981

A Separate Compilation System for Ada.

Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein

Proceedings of the Werkzeuge der Programmiertechnik, 1981

The Tasking Facility of Ada.

Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein

Proceedings of the Implementierungssprachen für nichtsequentielle Programmsysteme, 1981

1980

Overloading in preliminary Ada.

Guido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980