Sophia Drossopoulou
#44,077
Most Influential Person Now
Greek computer scientist
Sophia Drossopoulou's AcademicInfluence.com Rankings
Sophia Drossopouloucomputer-science Degrees
Computer Science
#2316
World Rank
#2414
Historical Rank
Software Engineering
#117
World Rank
#117
Historical Rank
Database
#8712
World Rank
#9141
Historical Rank
Download Badge
Computer Science
Why Is Sophia Drossopoulou Influential?
(Suggest an Edit or Addition)According to Wikipedia, Sophia Drossopoulou is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology.
Sophia Drossopoulou's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Ownership, encapsulation and the disjointness of type and effect (2002) (302)
- Towards Type Inference for JavaScript (2005) (211)
- Session Types for Object-Oriented Languages (2006) (164)
- Java is Type Safe - Probably (1997) (133)
- Generic Universe Types (2007) (122)
- ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings (2009) (121)
- Is the Java Type System Sound? (1999) (116)
- Deny capabilities for safe, fast actors (2015) (107)
- Fickle : Dynamic Object Re-classification (2001) (105)
- Multiple ownership (2007) (102)
- Describing the Semantics of Java and Proving Type Soundness (1999) (90)
- More dynamic object reclassification: Fickle∥ (2002) (80)
- Chai: Traits for Java-Like Languages (2005) (77)
- Zeno: An Automated Prover for Properties of Recursive Data Structures (2012) (73)
- A Distributed Object-Oriented Language with Session Types (2005) (70)
- Tribe: a simple virtual class calculus (2007) (68)
- Polymorphic bytecode: compositional compilation for Java-like languages (2005) (66)
- What is Java binary compatibility? (1998) (65)
- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason (2012) (63)
- A Unified Framework for Verification Techniques for Object Invariants (2008) (58)
- A Model for Java with Wildcards (2008) (58)
- Bounded Session Types for Object Oriented Languages (2006) (56)
- Writing safe smart contracts in Flint (2018) (56)
- A fragment calculus-towards a model of separate compilation, linking and binary compatibility (1999) (52)
- BabyJ: from object based to class based programming via types (2003) (51)
- An Attribute Grammar for the Semantic Analysis of Ada (1982) (49)
- Java Type Soundness Revisited (2000) (48)
- Flexible Models for Dynamic Linking (2003) (45)
- Objects and session types (2009) (43)
- Universe Types for Topology and Encapsulation (2008) (36)
- Amalgamating sessions and methods in object-oriented languages with generics (2009) (33)
- Considerate Reasoning and the Composite Design Pattern (2010) (30)
- Fully concurrent garbage collection of actors on many-core machines (2013) (27)
- Towards an Existential Types Model for Java Wildcards (2007) (27)
- The need for flexible object invariants (2009) (25)
- An Abstract Model of Java Dynamic Linking and Loading (2000) (25)
- The need for capability policies (2013) (22)
- Refined Effects for Unanticipated Object Re-classification: Fickle3 (2003) (20)
- A type safe state abstraction for coordination in Java-like languages (2008) (20)
- Existential Quantification for Variant Ownership (2009) (19)
- Can addresses be types? (A case study: objects with delegation) (2003) (19)
- Overloading and Inheritance (2001) (18)
- snmalloc: a message passing allocator (2019) (18)
- A Formal Semantics for Isorecursive and Equirecursive State Abstractions (2013) (18)
- An attribute grammar for Ada (1982) (17)
- Orca: GC and type system co-design for actor languages (2017) (17)
- On subtyping, wildcards, and existential types (2009) (17)
- Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World (2015) (16)
- Towards a semantic model for Java wildcards (2010) (16)
- Facebook’s Cyber–Cyber and Cyber–Physical Digital Twins (2021) (15)
- A type preserving translation of Fickle into Java (2002) (14)
- Separating ownership topology and encapsulation with generic universe types (2011) (13)
- Even more principal typings for Java-like languages (2004) (13)
- You can have it all: abstraction and good cache performance (2017) (13)
- Universes for Race Safety (2007) (12)
- Types for Hierarchic Shapes (2006) (12)
- Tribe: More Types for Virtual Classes (2007) (12)
- Amalgamating the Session Types and the Object Oriented Programming Paradigms (2007) (12)
- How to Break the Bank: Semantics of Capability Policies (2014) (11)
- Aliasing, Confinement, and Ownership in Object-Oriented Programming (2007) (11)
- A provenly correct translation of Fickle into Java (2007) (11)
- An Effective Translation of Fickle into Java (2001) (10)
- Flint for Safer Smart Contracts (2019) (10)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (2017) (10)
- δ : an imperative object based calculus with delegation ? (2003) (10)
- Tree topologies for causal message delivery (2017) (10)
- Towards Capability Policy Specification and Verification (2013) (10)
- Inner Classes Visit Aliasing (2003) (10)
- Java Exceptions Throw No Surprises (2000) (10)
- Flexible, Source Level Dynamic Linking And Re-Linking (2003) (9)
- Formalization of Generic Universe Types (2006) (9)
- A State Abstraction for Coordination in Java-like Languages (2006) (8)
- Softly safely spoken: Role playing for Session Types (2009) (8)
- Flexible Bytecode for Linking in .NET (2005) (8)
- Ownership and Reference Counting based Garbage Collection in the Actor World (2015) (8)
- SCHOOL: a Small Chorded Object-Oriented Language (2006) (8)
- More Dynamic Object Reclassification : F ickleII (2011) (8)
- Rationally Reconstructing the Escrow Example (2014) (7)
- Overloading in preliminary Ada (1980) (7)
- Towards an abstract model of Java dynamic linking and verification (2007) (7)
- Language and Architecture Paradigms as Object Classes (1994) (7)
- Java I S T Ype Safe | Probably (1996) (7)
- Permission and Authority Revisited towards a formalisation (2016) (7)
- Refined Effects for Unanticipated Object Re-classification: F ickle 3 (Extended Abstract) (2003) (6)
- Formalising Composition Oriented Programming (1999) (6)
- Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods (2009) (6)
- Towards an Operational Semantics and Proof of Type Soundness for Java (2007) (6)
- A Separate Compilation System for Ada (1981) (6)
- Zeno : A tool for the automatic verification of algebraic properties of functional programs (2010) (6)
- Overloading in preliminary Ada (1980) (6)
- Manifestations of Java Dynamic Linking - an approximate understanding at source language level - (2002) (6)
- A sip of the Chalice (2011) (6)
- Object-Oriented Technology in Multiparadigm Language Implementation (1995) (5)
- Compositional Compilation for Java-like Languages through Polymorphic Bytecode (2005) (5)
- UJ : type soundness for universe types (2008) (5)
- Behavioural types for non-uniform memory accesses (2016) (5)
- Lock Inference Proven Correct (2008) (5)
- An Integrated Engineering Study Scheme in Computing (1993) (5)
- Holistic Specifications for Robust Programs (2020) (5)
- A flexible model for dynamic linking in Java and C# (2006) (4)
- Type Inference for Scripting Languages (2004) (4)
- Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages (2018) (4)
- Correctness of a Concurrent Object Collector for Actor Languages (2018) (4)
- Run, actor, run: towards cross-actor language benchmarking (2019) (4)
- Three Case Studies in Fickleii (2002) (4)
- Java Binary Compatibility is Almost Correct Version 2 (1998) (4)
- Policy as Types (2013) (4)
- Safety in Flexible Dynamic Linking (2004) (3)
- What can Java Binary Compatibility mean (1999) (3)
- Using Objects for Structuring Multiparadigm Programming Environments (1999) (3)
- Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (2008) (3)
- Abstract Data Types in Object-Capability Systems (2016) (3)
- Parameterized Interfaces are Interfaces - AIAS (1991) (2)
- Understanding Ownership Types with Dependent Types (2013) (2)
- The roles of owners (2011) (2)
- In memory of Manny Lehman, 'Father of Software Evolution' (2011) (2)
- Safely Abstracting Memory Layouts (2019) (2)
- Quicksort Revisited - Verifying Alternative Versions of Quicksort (2016) (2)
- Roles for Owners – Work in Progress – (2011) (2)
- Permco – A Permissive Approach to Covariant Overriding of Subclass Members (1999) (2)
- Objects dynamically changing class ( Work in progress ) (1999) (1)
- Optimization in Ada (1983) (1)
- Variant Ownership with Existential Types (2008) (1)
- Soundness of a Concurrent Collector for Actors (Extended Version) (2018) (1)
- A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress) (2008) (1)
- Types for Hierarchic Shapes (Summary) (2006) (1)
- Refactoring Boundary (2013) (1)
- Overloading and Inheritan e ? (2001) (1)
- The Need for Capability Policies Position Paper (2013) (0)
- Java Type System with Exceptions (1999) (0)
- Pluggable, Iterative Type Checking for Dynamic Programming Languages (2006) (0)
- Cheaper Reasoning with Ownership Types – Work in Progress – (2003) (0)
- A type preserving translation of Fi kle intoJavaD (2002) (0)
- Type-Checking Smalltalk (1996) (0)
- C hainmail : Defensively Consistent Modular Specifications for an Open World (2015) (0)
- First Workshop on Object Oriented Developments (WOOD 2003) (2003) (0)
- Reshape your layouts, not your programs: A safe language extension for better cache locality (2020) (0)
- Run, Actor, Run (2019) (0)
- Semantic checks and error handling (1982) (0)
- An Object Model for Multiparadigm Programming (2007) (0)
- A Featherweight Model for Chorded Languages (2008) (0)
- Implementation of SHAPES Case Studies (Artifact) (2020) (0)
- Overall structure of the AG (1982) (0)
- Special theme Software Quality 25 years ERCIM : Challenges for ICST (0)
- Comparison of the AG with other attribute grammars (1982) (0)
- Preliminary Version Flexible Bytecode for Linking in . NET (2005) (0)
- Procedure for the AG (1982) (0)
- Dedicated to Giuseppe Longo at the occasion of his 60th birth day (2008) (0)
- Necessity specifications for robustness (2022) (0)
- Second Workshop on Object Oriented Developments (WOOD 2004) (2005) (0)
- Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations (2016) (0)
- Aliasing, Confinement, and Ownership in (2008) (0)
- Calculating communication costs with Sessions Types and Sizes (2014) (0)
- The Tasking Facility of Ada (1981) (0)
- Permco – A Perm issive Approach to Co variant O verriding of Subclass Members (1999) (0)
- Name and expression analysis (1982) (0)
- Introduction and survey (1982) (0)
- Preface (2004) (0)
- Experiences with attribute grammars (1982) (0)
- VAMP 2007 Universes for Race Safety (2007) (0)
- Formal Techniques for Java-Like Programs Report on the WS FTfJP at ECOOP'06 (2007) (0)
- Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008 (2009) (0)
- Proceedings of the Workshop on Object-Oriented Developments (WOOD 2004) (2005) (0)
- Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first) (2020) (0)
- Flexible Models for Dynamic Linking – Extended Version – (2003) (0)
- Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems (2008) (0)
- A Parallel Genetic Algorithm Approach to the Knife Change Minimisation Problem (2007) (0)
- Scaling Future Software: The Manycore Challenge (2014) (0)
- Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009) (0)
This paper list is powered by the following services:
Other Resources About Sophia Drossopoulou
What Schools Are Affiliated With Sophia Drossopoulou?
Sophia Drossopoulou is affiliated with the following schools:
