Sophia Drossopoulou

Cited by

	All	Since 2018
Citations	4454	897
h-index	34	15
i10-index	80	27

280

140

210

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202362 70 74 76 89 127 145 165 180 280 246 278 269 177 214 249 159 157 196 158 203 177 159 137 121 99

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Susan EisenbachProfessor Emeritus of Computing, Imperial College LondonVerified email at imperial.ac.uk
James NobleCreative Research & ProgrammingVerified email at acm.org
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Christopher Lyon AndersonElectric LabsVerified email at lyonanderson.org
Dave ClarkeIndependentVerified email at storytel.com
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Davide AnconaGenovaVerified email at unige.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Werner DietlElectrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Dimitris MostrousVerified email at di.fc.ul.pt
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Erik ErnstAssociate professor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Diomidis SpinellisProfessor, AUEB and TUDelftVerified email at aueb.gr
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de

Sophia Drossopoulou

Professor, Imperial College London

Verified email at imperial.ac.uk - Homepage

Programming Languages Program Verification Compilers Type Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou Proceedings of the 17th ACM SIGPLAN conference on Object-oriented …, 2002	337	2002
Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	262	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	147	2007
Fickle: Dynamic Object Re-classification S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini European Conference on Object-Oriented Programming, 130-149, 2001	133	2001
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	128	2015
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	114	2002
Multiple ownership NR Cameron, S Drossopoulou, J Noble, MJ Smith ACM SIGPLAN Notices 42 (10), 441-460, 2007	108	2007
Describing the semantics of Java and proving type soundness S Drossopoulou, S Eisenbach Formal Syntax and Semantics of Java, 41-80, 1999	98	1999
Chai: Traits for Java-Like Languages C Smith, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	94*	2005
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	89	2012
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	80	2005
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	77	2005
What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998	77	1998
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	72	2013
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	72	1999
Writing safe smart contracts in flint F Schrans, S Eisenbach, S Drossopoulou Companion Proceedings of the 2nd International Conference on the Art …, 2018	69	2018
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	69	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors