Imperial College London

ProfessorSophiaDrossopoulou

Faculty of EngineeringDepartment of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

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

 
 
//

Location

 

559Huxley BuildingSouth Kensington Campus

//

Summary

 

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

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 sound?, Theory and Practice of Object Systems, Vol:5, ISSN:1074-3227, Pages:3-24

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, Wragg D, Eisenbach S, 1998, What is Java binary compatibility?, ACM Sigplan Notices, Vol:33, ISSN:0362-1340, Pages:341-358

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

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

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

Books

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

Conference

Ancona D, Drossopoulou S, Mascardi V, 2013, Automatic generation of self-monitoring MASs from multiparty global session types in Jason, Pages:76-95, ISSN:0302-9743

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, 27th European Conference on Object-Oriented Programming (ECOOP), SPRINGER-VERLAG BERLIN, Pages:129-153, ISSN:0302-9743

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-VERLAG BERLIN, Pages:407-421, ISSN:0302-9743

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

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

Ancona D, Damiani F, Drossopoulou S, et al., 2005, Polymorphic bytecode: Compositional compilation for Java-like languages, 32nd Symposium on Principles of Programming Languages, ASSOC COMPUTING MACHINERY, Pages:26-37, ISSN:0362-1340

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

Dietl W, Drossopoulou S, Mueller P, 2007, Generic universe types, 21st European Conference on Object-Oriented Programming (ECOOP 2007), SPRINGER-VERLAG BERLIN, Pages:28-+, ISSN:0302-9743

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

Drossopoulou S, Francalanza A, Mueller P, et al., 2008, A unified framework for verification techniques for object invariants, 22nd European Conference on Object-Oriented Programming (ECOOP 2008), SPRINGER-VERLAG BERLIN, Pages:412-+, ISSN:0302-9743

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

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

Cameron NR, Drossopoulou S, Noble J, et al., 2007, Multiple ownership, 22nd International Conference on Object-Oriented Programming, Systems, Languages and Applications, ASSOC COMPUTING MACHINERY, Pages:441-460, ISSN:0362-1340

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

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

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

Cameron N, Drossopoulou S, Ernst E, 2008, A model for Java with wildcards, 22nd European Conference on Object-Oriented Programming (ECOOP 2008), SPRINGER-VERLAG BERLIN, Pages:2-+, ISSN:0302-9743

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

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

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

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

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

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

Clarke D, Drossopoulou S, Noble J, et al., 2007, Tribe: A simple virtual class calculus, Pages:121-134

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, 2005, Type Inference for Scripting Languages, Proceedings of European Conference of Object Oriented programming, Springer Verlag, Pages:428-452, ISSN:0302-9743

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

More Publications