Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Programming Languages



+44 (0)20 7594 8368s.drossopoulou Website




559Huxley BuildingSouth Kensington Campus




Selected Publications

Journal Articles

Dietl W, Drossopoulou S, Mueller P, 2011, Separating Ownership Topology and Encapsulation with Generic Universe Types, ACM Transactions on Programming Languages and Systems, Vol:33, ISSN:0164-0925

Dezani-Ciancaglini M, Drossopoulou S, Mostrous D, et al., 2009, Objects and session types, Information and Computation, Vol:207, ISSN:0890-5401, Pages:595-641

Giannini P, Damiani F, Giachino E, et al., 2008, A type safe state abstraction for coordination in Java -like languages, Acta Informatica, ISSN:0001-5903

Müller P, Drossopoulou S, Cunningham D, et al., 2008, Universe Types for Topology and Encapsulation, Vol:5382, Pages:72-112

Anderson, C., Drossopoulou, S., 2003, BabyJ: from object based to class based programming via types, Electronic Notes in Theoretical Computer Science, Vol:82, ISSN:1571-0661, Pages:1-29

Drossopoulou S, Damiani F, Dezani-Ciancaglini M, et al., 2002, More dynamic object re-classification: FickleII, ACM Transactions on Programming Languages and Systems, Vol:24, ISSN:0164-0925, Pages:153-191

Drossopoulou S, Eisenbach S, Khurshid S, 1999, Is the Java Type System is Sound, Theory and Practice of Object Systems, Vol:5, Pages:3-24

Drossopoulou S, Eisenbach S, Khurshid S, 1999, Is the Java type system sound?, Theory and Practice of Object Systems, Vol:5, ISSN:1074-3227, Pages:3-24

Drossopoulou S, Wragg D, Eisenbach S, 1998, What is Java binary compatibility?, ACM Sigplan Notices, Vol:33, ISSN:0362-1340, Pages:341-361


Uhl J, Persch G, Drossopoulou S, et al., 1982, An Attribute Grammar for the Semantic Analysis of Ada, ISBN:0387115714


Vicente Franco J, Clebsch S, Drossopoulou S, et al., Correctness of a concurrent object collector for actor languages, 27th European Symposium on Programming, Springer

Summers AJ, Drossopoulou S, 2013, A Formal Semantics for Isorecursive and Equirecursive State Abstractions, ECOOP

Drossopoulou S, Clebsch S, 2013, Fully Concurrent garbage Collection for Actors in Many-Core Mashines, OOPSLA

Drossopoulou S, Noble J, 2013, The Need for Capability Policies, FTfJP

Sonnex W, Drossopoulou S, Eisenbach S, 2012, Zeno: An automated prover for properties of recursive data structures, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer Berlin Heidelberg, Pages:407-421, ISSN:0302-9743

Drossopoulou S, Acona D, 2012, Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason, DALT

Summers AJ, Drossopoulou S, 2010, Considerate Reasoning and the Composite Design Pattern, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, SPRINGER-VERLAG BERLIN, Pages:328-344, ISSN:0302-9743

Cameron N, Drossopoulou S, Ernst E, 2008, A Model for Java Wildcards, ECOOP 08, Springer-Verlag, LNCS

Drossopoulou S, Francalanza A, Mueller P, 2008, A Unified Framework for Verification Techniques for Object Invariants, Workshop in Foundations of Object Oriented Languages

Cameron N, Drossopoulou S, Ernst E, 2008, A model for Java with wildcards, 22nd European Conference on Object-Oriented Programming (ECOOP 2008), Springer, Pages:2-26

Drossopoulou S, Dezani-Ciancaglini M, Coppo M, 2007, Amalgamating the Session Types and the Object Oriented Programming Paradigms, MPOOL -- Multiparadigm Programming and Object Oriented languages

Dietl, W, Drossopoulou, et al., 2007, Generic Universe Types, Europear Conference on Object Oriented Programming, Springer Verlag

Clarke, D, Drossopoulou, et al., 2007, Tribe: A Simple Virtual Class Calculus, Aspect Oriented Software Development

Cameron N, Drossopoulou S, Smith M, et al., 2007, Multiple Ownership, Object Oriented Programming and Languages, ACM Press

Drossopoulou, S., Lagorio, et al., 2006, A flexible model for dynamic linking in Java and C#, Formal techniques for Java-like languages, 2004, Elsevier, Pages:1-29, ISSN:0304-3975

Dezani-Ciancaglini M, Mostrous D, Yoshida N, et al., 2006, Session types for object-oriented languages, 20th European Conference on Object-Oriented Programming (ECOOP 2006), SPRINGER-VERLAG BERLIN, Pages:328-352, ISSN:0302-9743

Ancona D, Ferruccio, D, et al., 2005, Polymorphic bytecode: compositional compilation for Java-like languages, the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM, Pages:26-37, ISSN:0362-1340

Drossopoulou S, 2005, Type Inference for Scripting Languages, Proceedings of European Conference of Object Oriented programming, Springer Verlag, Pages:428-452, ISSN:0302-9743

Smith C, Drossopoulou S, 2005, Chai: Typed Traits in Java, European Conference for Object-Oriented Programming, Springer Verlag, Pages:543-576, ISSN:0302-9743

Smith, C., Drossopoulou, S., 2005, Chai: traits for Java-like languages, 19th European conference on object-oriented programming. Glasgow, Scotland, 25 - 29 July 2005, Springer-Verlag, Berlin, Pages:453-478

Anderson, C., Giannini, P., Drossopoulou, S., 2005, Towards type inference for JavaScript, 19th European conference on object-oriented programming. Glasgow, Scotland, 25 - 29 July 2005, Springer-Verlag, Berlin, Pages:428-452

Jolly P, Drossopoulou S, Anderson CL, et al., 2004, Simple Dependent Types: Concord, ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004)

Clarke D, Drossopoulou S, Noble J, 2003, Aliasing, confinement, and ownership in object-oriented programming, 17th European Conference on Object-Oriented Programming (ECOOP 2003), SPRINGER-VERLAG BERLIN, Pages:197-207, ISSN:0302-9743

Smith, M., Drossopoulou, S., 2003, Cheaper reasoning with ownership types, IWACO 2003

Drossopoulou, S., Damiani, F., zani-Ciancaglini, M., et al., 2001, Fickle: dynamic object re-classification, 15th European conference; object-oriented programming, ECOOP 2001, Springer, Berlin, Pages:130-149

Ancona, D., Drossopoulou, S., 2001, Overloading and inheritance, Foundations of object oriented languages 8, London, January 2001

Drossopoulou, S., Eisenbach, S., Wragg, D., 1999, A Fragment Calculus towards a model of Separate Compilation, Linking and Binary Compatibility, LICS'99 Fourteenth Annual IEEE Symposium on Logic in Computer Science, Trento

Drossopoulou S, Eisenbach S, 1997, Java is type safe - Probably, 11th European Conference on Object-Oriented Programming (ECOOP 97), SPRINGER-VERLAG BERLIN, Pages:389-418, ISSN:0302-9743

Spinellis, D., Drossopoulou, S., Eisenbach, S., 1994, An Object Model for Multiparadigm Programming, OOPSLA Workshop on Multi-Language Object Models

Drossopoulou S, Uhl J, Persch G, et al., 1982, An attribute grammar for Ada, Symposium on Compiler Construction, ACM

More Publications