| Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou Proceedings of the 17th ACM SIGPLAN conference on Object-oriented …, 2002 | 338 | 2002 |
| Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 272 | 2005 |
| Session types for object-oriented languages M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou European Conference on Object-Oriented Programming, 328-352, 2006 | 192 | 2006 |
| Java is type safe—probably S Drossopoulou, S Eisenbach ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997 | 188 | 1997 |
| Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999 | 157 | 1999 |
| Generic universe types W Dietl, S Drossopoulou, P Müller ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007 | 152 | 2007 |
| Deny capabilities for safe, fast actors S Clebsch, S Drossopoulou, S Blessing, A McNeil Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015 | 145 | 2015 |
| Fickle: Dynamic Object Re-classification S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini European Conference on Object-Oriented Programming, 130-149, 2001 | 135 | 2001 |
| More dynamic object reclassification: Fickle∥ S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002 | 115 | 2002 |
| Multiple ownership NR Cameron, S Drossopoulou, J Noble, MJ Smith ACM SIGPLAN Notices 42 (10), 441-460, 2007 | 111 | 2007 |
| Describing the semantics of Java and proving type soundness S Drossopoulou, S Eisenbach Formal Syntax and Semantics of Java, 41-80, 1999 | 100 | 1999 |
| Zeno: An automated prover for properties of recursive data structures W Sonnex, S Drossopoulou, S Eisenbach Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 95 | 2012 |
| Chai: Traits for Java-Like Languages C Smith, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 93* | 2005 |
| A distributed object-oriented language with session types M Dezani-Ciancaglini, N Yoshida, A Ahern, S Drossopoulou International Symposium on Trustworthy Global Computing, 299-318, 2005 | 84 | 2005 |
| Writing safe smart contracts in Flint F Schrans, S Eisenbach, S Drossopoulou Companion Proceedings of the 2nd International Conference on the Art …, 2018 | 79 | 2018 |
| What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998 | 77 | 1998 |
| Polymorphic bytecode: Compositional compilation for Java-like languages D Ancona, F Damiani, S Drossopoulou, E Zucca Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 76 | 2005 |
| A fragment calculus-towards a model of separate compilation, linking and binary compatibility S Drossopoulou, S Eisenbach, D Wragg Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 74 | 1999 |
| Automatic generation of self-monitoring MASs from multiparty global session types in Jason D Ancona, S Drossopoulou, V Mascardi Declarative Agent Languages and Technologies X: 10th International Workshop …, 2013 | 71 | 2013 |
| Tribe: a simple virtual class calculus D Clarke, S Drossopoulou, J Noble, T Wrigstad Proceedings of the 6th international conference on Aspect-oriented software …, 2007 | 71 | 2007 |
Susan EisenbachProfessor Emeritus of Computing, Imperial College LondonVerified email at imperial.ac.uk
