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

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

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

Cunningham D, Dietl W, Drossopoulou S, et al., 2008, Universe types for topology and encapsulation, Lecture Notes in Bioinformatics, Vol:5382 LNCS, ISSN:0302-9743, 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 reclassification: Fickle(II), 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-358

Books

Uhl J, Drossopoulou S, Persch G, et al., 1982, An Attribute Grammar for the Semantic Analysis of Ada, Springer, ISBN:3-540-11571-4

Conference

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

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

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

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

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

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

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

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 S, Mueller P, 2007, Generic universe types, 21st European Conference on Object-Oriented Programming (ECOOP 2007), SPRINGER-VERLAG BERLIN, Pages:28-+, ISSN:0302-9743

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

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

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, 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: Traits for Java-like languages, 19th European Conference on Object-Oriented Programming, SPRINGER-VERLAG BERLIN, Pages:453-478, 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

Anderson C, Giannini P, Drossopoulou S, 2005, Towards type inference for JavaScript, 19th European Conference on Object-Oriented Programming (ECOOP 2005), SPRINGER-VERLAG BERLIN, Pages:428-452, ISSN:0302-9743

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

Drossopoulou S, Lagorio G, Eisenbach S, 2006, A flexible model for dynamic linking in Java and C#, ELSEVIER SCIENCE BV, Pages:1-29, ISSN:0304-3975

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, Dezani-Ciancaglini M, et al., 2001, Fickle: Dynamic object re-classification, Pages:130-149, ISSN:0302-9743

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., IEEE Computer Society, Pages:147-156

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 JS, Persch G, et al., 1982, An Attribute Grammar for Ada., ACM, Pages:334-348

More Publications