Sophia Drossopoulou

According to our database1, Sophia Drossopoulou
  • authored at least 85 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Orca: GC and type system co-design for actor languages.
PACMPL, 2017

You can have it all: abstraction and good cache performance.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.
Proceedings of the Programming Languages and Systems, 2017

2016
Permission and Authority Revisited towards a formalisation.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Quicksort Revisited - Verifying Alternative Versions of Quicksort.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Behavioural types for non-uniform memory accesses.
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.
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

Deny capabilities for safe, fast actors.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014
Scaling Future Software: The Manycore Challenge.
ERCIM News, 2014

How to Break the Bank: Semantics of Capability Policies.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Calculating communication costs with Sessions Types and Sizes.
Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Rationally Reconstructing the Escrow Example.
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

2013
Understanding Ownership Types with Dependent Types.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Policy as Types.
CoRR, 2013

Fully concurrent garbage collection of actors on many-core machines.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Refactoring Boundary.
Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

A Formal Semantics for Isorecursive and Equirecursive State Abstractions.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

The need for capability policies.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012
Zeno: An Automated Prover for Properties of Recursive Data Structures.
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.
Proceedings of the Declarative Agent Languages and Technologies X, 2012

2011
Separating ownership topology and encapsulation with generic universe types.
ACM Trans. Program. Lang. Syst., 2011

In memory of Manny Lehman, 'Father of Software Evolution'.
Journal of Software Maintenance, 2011

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

2010
Considerate Reasoning and the Composite Design Pattern.
Proceedings of the Verification, 2010

Towards a semantic model for Java wildcards.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci., 2009

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.
Journal of Object Technology, 2009

Objects and session types.
Inf. Comput., 2009

Existential Quantification for Variant Ownership.
Proceedings of the Programming Languages and Systems, 2009

On subtyping, wildcards, and existential types.
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.
Acta Inf., 2008

Aliasing, Confinement, and Ownership in Object-Oriented Programming.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

A Unified Framework for Verification Techniques for Object Invariants.
Proceedings of the ECOOP 2008, 2008

A Model for Java with Wildcards.
Proceedings of the ECOOP 2008, 2008

A Unified Framework for Verification Techniques for Object Invariants.
Proceedings of the Types, Logics and Semantics for State, 03.02. - 08.02.2008, 2008

2007
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst., 2007

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

Universe Types for Topology and Encapsulation.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Aliasing, Confinement, and Ownership in Object-Oriented Programming.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

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

Tribe: a simple virtual class calculus.
Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2006
A flexible model for dynamic linking in Java and C#.
Theor. Comput. Sci., 2006

SCHOOL: a Small Chorded Object-Oriented Language.
Electr. Notes Theor. Comput. Sci., 2006

Bounded Session Types for Object Oriented Languages.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Types for Hierarchic Shapes.
Proceedings of the Programming Languages and Systems, 2006

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Session Types for Object-Oriented Languages.
Proceedings of the ECOOP 2006, 2006

2005
Flexible Bytecode for Linking in .NET.
Electr. Notes Theor. Comput. Sci., 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

A Distributed Object-Oriented Language with Session Types.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Polymorphic bytecode: compositional compilation for Java-like languages.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Chai: Traits for Java-Like Languages.
Proceedings of the ECOOP 2005, 2005

Towards Type Inference for JavaScript.
Proceedings of the ECOOP 2005, 2005

2003
BabyJ: from object based to class based programming via types.
Electr. Notes Theor. Comput. Sci., 2003

Can addresses be types? (A case study: objects with delegation).
Electr. Notes Theor. Comput. Sci., 2003

Refined Effects for Unanticipated Object Re-classification: Fickle3.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Flexible Models for Dynamic Linking.
Proceedings of the Programming Languages and Systems, 2003

Aliasing, Confinement, and Ownership in Object-Oriented Programming.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
More dynamic object reclassification: Fickle||
ACM Trans. Program. Lang. Syst., 2002

Ownership, encapsulation and the disjointness of type and effect.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Formal Techniques for Java-like Programs.
Proceedings of the Object-Oriented Technology, 2002

2001
A type preserving translation of Fickle into Java.
Electr. Notes Theor. Comput. Sci., 2001

An Effective Translation of Fickle into Java.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

Fickle : Dynamic Object Re-classification.
Proceedings of the ECOOP 2001, 2001

2000
An Abstract Model of Java Dynamic Linking and Loading.
Proceedings of the Types in Compilation, Third International Workshop, 2000

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, 2000

1999
Is the Java Type System Sound?
TAPOS, 1999

A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Describing the Semantics of Java and Proving Type Soundness.
Proceedings of the Formal Syntax and Semantics of Java, 1999

Formalising Composition Oriented Programming.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Java Type System with Exceptions.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
What is Java Binary Compatibility?
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997
Java is Type Safe - Probably.
Proceedings of the ECOOP'97, 1997

1996
Type-Checking Smalltalk.
JOOP, 1996

1995
Object-Oriented Technology in Multiparadigm Language Implementation.
JOOP, 1995

1994
Language and Architecture Paradigms as Object Classes.
Proceedings of the Programming Languages and System Architectures, 1994

1993
An Integrated Engineering Study Scheme in Computing.
Comput. J., 1993

1991
Parameterized Interfaces are Interfaces - AIAS.
Proceedings of the Declarative Programming, 1991

1983
Verschmelzen von Aktionen in Zerteilern.
PhD thesis, 1983

1982
An Attribute Grammar for Ada.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

An Attribute Grammar for the Semantic Analysis of Ada
Lecture Notes in Computer Science 139, Springer, ISBN: 3-540-11571-4, 1982

1981
A Separate Compilation System for Ada.
Proceedings of the Werkzeuge der Programmiertechnik, 1981

The Tasking Facility of Ada.
Proceedings of the Implementierungssprachen für nichtsequentielle Programmsysteme, 1981


  Loading...