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
Books
Uhl J, Persch G, Drossopoulou S, et al., 1982, An Attribute Grammar for the Semantic Analysis of Ada, ISBN:0387115714
Conference
Vicente Franco J, Clebsch S, Drossopoulou S, et al., Correctness of a concurrent object collector for actor languages, 27th European Symposium on Programming, Springer
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
Summers AJ, Drossopoulou S, 2013, A Formal Semantics for Isorecursive and Equirecursive State Abstractions, ECOOP
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
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
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
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
Ancona, D., Drossopoulou, S., 2001, Overloading and inheritance, Foundations of object oriented languages 8, London, January 2001
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
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