World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
4036
World Ranking
13676
National Ranking
874

Best Publications

  • Ownership, encapsulation and the disjointness of type and effect

    Dave Clarke;Sophia Drossopoulou

  • Towards type inference for javascript

    Christopher Anderson;Paola Giannini;Sophia Drossopoulou

  • Session types for object-oriented languages

    Mariangiola Dezani-Ciancaglini;Dimitris Mostrous;Nobuko Yoshida;Sophia Drossopoulou

  • Java is type safe — Probably

    Sophia Drossopoulou;Susan Eisenbach

  • ECOOP 2009 - Object-Oriented Programming

    Sophia Drossopoulou

  • Fickle: Dynamic Object Re-classification

    Sophia Drossopoulou;Ferruccio Damiani;Mariangiola Dezani-Ciancaglini;Paola Giannini

  • Deny capabilities for safe, fast actors

    Sylvan Clebsch;Sophia Drossopoulou;Sebastian Blessing;Andy McNeil

  • More dynamic object reclassification: Ficklep

    Sophia Drossopoulou;Ferruccio Damiani;Mariangiola Dezani-Ciancaglini;Paola Giannini

  • Multiple ownership

    Nicholas R. Cameron;Sophia Drossopoulou;James Noble;Matthew J. Smith

  • Describing the Semantics of Java and Proving Type Soundness

    Sophia Drossopoulou;Susan Eisenbach

  • Is the Java type system sound

    Sophia Drossopoulou;Susan Eisenbach;Sarfraz Khurshid

  • Zeno: an automated prover for properties of recursive data structures

    William Sonnex;Sophia Drossopoulou;Susan Eisenbach

  • A distributed object-oriented language with session types

    Mariangiola Dezani-Ciancaglini;Nobuko Yoshida;Alexander Ahern;Sophia Drossopoulou

  • Chai : Traits for Java-like languages

    Charles Smith;Sophia Drossopoulou

  • What is Java binary compatibility

    Sophia Drossopoulou;David Wragg;Susan Eisenbach

  • Chai : traits for Java-like languages

    Charles Smith;Sophia Drossopoulou

  • Polymorphic bytecode: compositional compilation for Java-like languages

    Davide Ancona;Ferruccio Damiani;Sophia Drossopoulou;Elena Zucca

  • Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason

    Davide Ancona;Sophia Drossopoulou;Viviana Mascardi

  • A fragment calculus-towards a model of separate compilation, linking and binary compatibility

    S. Drossopoulou;S. Eisenbach;D. Wragg

  • Tribe: a simple virtual class calculus

    Dave Clarke;Sophia Drossopoulou;James Noble;Tobias Wrigstad

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: