Sophia Drossopoulou

Best Publications

• Ownership, encapsulation and the disjointness of type and effect

  Dave Clarke;Sophia Drossopoulou

  346
  Citations

• Towards type inference for javascript

  Christopher Anderson;Paola Giannini;Sophia Drossopoulou

  273
  Citations

• Session types for object-oriented languages

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

  206
  Citations

• Java is type safe — Probably

  Sophia Drossopoulou;Susan Eisenbach

  186
  Citations

• ECOOP 2009 - Object-Oriented Programming

  Sophia Drossopoulou

  174
  Citations

• Fickle: Dynamic Object Re-classification

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

  138
  Citations

• Deny capabilities for safe, fast actors

  Sylvan Clebsch;Sophia Drossopoulou;Sebastian Blessing;Andy McNeil

  136
  Citations

• More dynamic object reclassification: Ficklep

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

  120
  Citations

• Multiple ownership

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

  115
  Citations

• Describing the Semantics of Java and Proving Type Soundness

  Sophia Drossopoulou;Susan Eisenbach

  105
  Citations

• Is the Java type system sound

  Sophia Drossopoulou;Susan Eisenbach;Sarfraz Khurshid

  100
  Citations

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

  William Sonnex;Sophia Drossopoulou;Susan Eisenbach

  93
  Citations

• A distributed object-oriented language with session types

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

  87
  Citations

• Chai : Traits for Java-like languages

  Charles Smith;Sophia Drossopoulou

  87
  Citations

• What is Java binary compatibility

  Sophia Drossopoulou;David Wragg;Susan Eisenbach

  84
  Citations

• Chai : traits for Java-like languages

  Charles Smith;Sophia Drossopoulou

  82
  Citations

• Polymorphic bytecode: compositional compilation for Java-like languages

  Davide Ancona;Ferruccio Damiani;Sophia Drossopoulou;Elena Zucca

  82
  Citations

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

  Davide Ancona;Sophia Drossopoulou;Viviana Mascardi

  76
  Citations

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

  S. Drossopoulou;S. Eisenbach;D. Wragg

  75
  Citations

• Tribe: a simple virtual class calculus

  Dave Clarke;Sophia Drossopoulou;James Noble;Tobias Wrigstad

  73
  Citations