Computing Publications

Publications Home » Authors » Prof Sophia Drossopoulou

Authors

Prof Sophia Drossopoulou

On this page:

Book
Book Chapters
Journal Articles
Journal Special Issue Articles
Electronic Journal Articles
Conference and Workshop Papers
Journal Special Issue Edited
Department of Computing Technical Report
Technical Reports
BibTeX

76 publications for this author.

Book

An Attribute Grammar for the Semantic Analysis of Ada: Juergen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgaessner; Lecture Notes in Computer Science; 1982

Book Chapters

Bounded Session Types for Object Oriented Languages: Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino, Nobuko Yoshida; Proceedings of FMCO 2007 (Formal Methods for Components and Objects) 2007; Volume 4709, pp.207–245; Lecture Notes in Computer Science, Springer; January, 2008
An abstract model of Java dynamic linking and loading: Sophia Drossopoulou; Types in Compilation: Revised Selected Papers; Volume 2071, p.53; Springer; January, 2001
Towards an Operational Semantics and Proof of Type Soundness for Java: Sophia Drossopoulou, Susan Eisenbach; Formal Syntax and Semantics of Java; Issue 3; Springer-Verlag; 1999
Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming: Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach; Programming Languages and System Architectures; Volume 782, pp.191–207; Springer-Verlag; January, 1994

Journal Articles

Objects and Session Types: Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitrios Mostrous, Nobuko Yoshida; Infrmation and Computation; 2009
A type safe state abstraction for coordination in Java -like languages: Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou; Acta Informatica; Acta , Springer Verlag; October, 2008
Amalgamating sessions and methods in object-oriented languages with generics: Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino; Theoretical Computer Science; Elsevier Science Ltd.; September, 2008
A provenly correct Translation of Fickle into Java: Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca; (ToPLaS) Transactions of Programming Languages ans Systems; Volume 2; ACM; 2007
A flexible model for dynamic linking in Java and C#: Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach; Theoretical Computer Science; Volume 368, Issue 1, pp.1–29; December, 2006
BabyJ: from object based to class based programming via types: Christopher Anderson, Sophia Drossopoulou; Electronic Notes in Theoretical Computer Science; Volume 82, Issue 8; 2003
More Dynamic Object Re-classification: FickleII: Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini; ACM Transactions On Programming Languages and Systems; pp.153–191; ACM; March, 2002
Type Checking Smalltalk: Sophia Drossopoulou; Journal of Object Oriented Programming; Volume 8, Issue 8; January, 1996
Object-Oriented Technology in Multiparadigm Language Implementation: Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach; Journal of Object Oriented Programming; Volume 8, Issue 1, pp.33–38; March, 1995

Journal Special Issue Articles

Universe Types for Topology and Encapsulation: David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander Summers; Formal Methods for Components (FMCO) 2007; Volume 5382, pp.72–112; Lecture Notes in Computer Science, Springer Verlag; 2008
Is the Java Type System is Sound: Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid; Theory and Practice of Object Systems; Volume 5, Issue 1, pp.3–24; October, 1999

Electronic Journal Articles

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods: Alexander Summers, Sophia Drossopoulou, Peter Mueller; Journal for Object Technology; April, 2009
SCHOOL: a Small Chorded Object-Oriented Language: Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach; Electronic Notes in Theoretical Computer Science; Volume 135, Issue 3, pp.37–47; Elsevier; March, 2006
Can Addresses be Types? (a case study: objects with delegation): Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou; WOOD 2003; Volume 82, Issue 8; Electronic Notes in Theoretical Computer Science, Elsevier Science Bv; 2003

Conference and Workshop Papers

Zeno: An automated prover for properties of recursive data structures: William Sonnex, Sophia Drossopoulou, Susan Eisenbach; TACAS; Lecture Notes in Computer Science; March, 2012
Trust the Clones: Sophia Drossopoulou, James Noble; FoVEOOS - preproceedings; October, 2011
A Sip of the Chalice: Azalea Raad, Sophia Drossopoulou; July, 2011
Roles for Owners - Work in progress -: Sophia Drossopoulou, David Clarke, James Noble; IWACO 2011; ACM Digital Library, ACM Press; July, 2011
Towards a Semantic Model for Java Wildcards: Alexander Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou; FTfJP - 2010; ACM Press; June, 2010
Considerate Reasoning and the Composite Design Pattern: Alexander Summers, Sophia Drossopoulou; VMCAI'2010; Springer-Verlag, LNCS; January, 2010
The Need for Flexible Object Invariants: Alexander Summers, Sophia Drossopoulou, Peter Müller; International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2009; ACM Digital Library, ACM; July, 2009
Existential Quantification for Variant Ownership: Nicholas Cameron, Sophia Drossopoulou; European Symposium on Programming; Lecture Notes in Computer Science, Springer; March, 2009
Softly safely spoken: Role playing for Session Types: Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach; Places'09; March, 2009
A Model for Java Wildcards: Nicholas Cameron, Sophia Drossopoulou, Erik Ernst; Eurepean Conference for Object-Oriented Programming; Lecture Notes in Computer Science, Springer-Verlag, LNCS; July, 2008
A Unified Framework for Verification Techniques for Object Invariants: Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander Summers; ECOOP 2008; Lecture Notes in Computer Science; July, 2008
A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress): Alexander Summers, Sophia Drossopoulou, Peter Müller; Formal techniques for Java-like Programming; July, 2008
Lock Inference Proven Correct: David Cunningham, Sophia Drossopoulou, Susan Eisenbach; FTfJP; July, 2008
A Unified Framework for Verification Techniques for Object Invariants: Sophia Drossopoulou, Adrian Francalanza, Peter Müller; International Workshop on Foundations of Object Oriented Languages (FOOL); January, 2008
Multiple Ownership: Nicholas Cameron, Sophia Drossopoulou, James Noble, Matthew Smith; OOPSLA 07; October, 2007
Universe Types for Race Safety: David Cunningham, Sophia Drossopoulou, Susan Eisenbach; VAMP 07; pp.20–51; September, 2007
Amalgamating the Session Types and the Object Oriented Programming Paradigms: Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Mario Coppo; Multiparadigm Programming with Object-Oriented Languages 2007 (an ECOOP workshop); August, 2007
Generic Universe Types: Werner Dietl, Sophia Drossopoulou, Peter Müller; Berlin; Volume 4609, pp.28–53; Lecture Notes in Computer Science, Springer; August, 2007
Towards an Existential Types Model for Java Wildcards: Nicholas Cameron, Erik Ernst, Sophia Drossopoulou; Formal Techniques for Java-like Programs (FTfJP) 2007; July, 2007
Tribe: More Types for Virtual Classes: Sophia Drossopoulou, David Clarke, James Noble, Tobias Wrigstad; 6th International conference on Aspect-oriented software development (AOSD 2007), Vancouver, British Columbia, Canada; pp.121–134; ACM Press; March, 2007
Generic Universe Types: Werner Dietl, Sophia Drossopoulou, Peter Müller; International Workshop on Foundations of Object Oriented Languages (FOOL) 2007; January, 2007
A state abstraction for coordination in Java-like languages: Ferruccio Damiani, Elena Giachino, Paola Giannini, Nicholas Cameron, Sophia Drossopoulou; Formal techniques for Java-like languages; July, 2006
Session Types for Object-Oriented Languages: Mariangiola Dezani-Ciancaglini, Dimitrios Mostrous, Nobuko Yoshida, Sophia Drossopoulou; 20th European Conference for Object-Oriented Languages; Springer Verlag; July, 2006
Chai: Typed Traits in Java: Charles Smith, Sophia Drossopoulou; European Conference for Object-Oriented Programming; pp.543–576; Springer Verlag; July, 2005
Towards Type Inference for JavaScript: Christopher Anderson, Sophia Drossopoulou, Paola Giannini; 19th European Conference on Object-Oriented Programming (ECOOP 2005), Glasgow, Scotland; pp.428–452; July, 2005
A Distributed Object-Oriented language with Session types: Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou; International Symposium of Trustworthy Global Computing; April, 2005
Flexible Bytecode for Linking in .NET: Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou; ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005); 2005
Polymorphic Bytecode: Compositional Compilation for Java-like Languages: Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca; 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005); January, 2005
Even More Principal Typings for Java-like Languages: Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca; ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004); June, 2004
Flexible Dynamic Linking: Alex Buckley, Sophia Drossopoulou; ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004); June, 2004
Flexible, source level, dynamic linking and re-linking: Sophia Drossopoulou, Susan Eisenbach; Formal techniques for Java-like languages, 2003; 2004
Simple Dependent Types: Concord: Sophia Drossopoulou, Paul Jolly, Christopher Anderson, Klaus Ostermann; ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004); June, 2004
Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract): Sophia Drossopoulou, Ferruccio Damiani, Paola Giannini; Theoretical Computer Science: 8th Italian Conference (ICTCS'03}; Volume 2841, pp.97–110; Lecture Notes in Computer Science, Springer-Verlag; October, 2003
Cheaper reasoning with ownership types: Matthew Smith, Sophia Drossopoulou; IWACO 2003 - Workshop affilicated to ECOOP 2003; July, 2003
Inner classes visit Aliasing: Sophia Drossopoulou, Matthew Smith; ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2003), Darmstadt, Germany; July, 2003
Flexible Models for Dynamic Linking: Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach; Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland; Volume 2618, pp.38–53; Lecture Notes in Computer Science, Springer; April, 2003
Ownership, Encapsulation and the Disjointness of Types and Effects: David Clarke, Sophia Drossopoulou; 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'02); pp.292–310; ACM Press; November, 2002
A type preserving translation of Fickle into Java: Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca; TOSCA'01; Volume 62; ENTCS, Elsevier; September, 2002
delta an imperative object based calculus: Christopher Anderson, Sophia Drossopoulou; USE 2002; 2002
Manifestations of Dynamic Linking: Sophia Drossopoulou, Susan Eisenbach; The First Workshop on Unanticipated Software Evolution (USE 2002), Málaga, Spain; June, 2002
An Effective Translation of Fickle into Java: Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca; 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, October 4-6, 2001; Volume 2202, pp.215–234; Lecture Notes in Computer Science, Springer; October, 2001
Fickle: Dynamic Object Re-classification: Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini; Eurepean Conference for Object-Oriented Programming; pp.130–149; Springer Verlag; June, 2001
Overloading and Inheritance: Davide Ancona, Sophia Drossopoulou, Elena Zucca; 8th International Workshop on Foundations for Object Oriented Languages (FOOL 2001); January, 2001
A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility,: Sophia Drossopoulou, Susan Eisenbach, David Wragg; Logic in Computer Science (LICS), Trento; 1999
What is Java Binary Compatibility?: Sophia Drossopoulou, David Wragg, Susan Eisenbach; OOPSLA 1998; pp.341–361; October, 1998
The Java Type System is Sound - Probably: Sophia Drossopoulou, Susan Eisenbach; European Conference of Object Oriented programming, Jyvaskyla, Finland; Springer-Verlag; 1997
Is the Java Type System Sound?: Sophia Drossopoulou, Susan Eisenbach; FOOL 4( Foundations of Object Oriented Languages), Paris; 1997
An Object Model for Multiparadigm Programming: Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach; OOPSLA Workshop on Multi-Language Object Models; 1994
An attribute grammar for Ada: Sophia Drossopoulou, Juergen Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein; Symposium on Compiler Construction; ACM; June, 1982
A Separate Compilation System for Ada: Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein; Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981; Volume 43, pp.197–213; Informatik Fachberichte; April, 1981
The Tasking Facility of Ada: Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein; Implementierungssprachen fuer nichtsequentielle Programmsysteme, -- Tagung I/1981 des German Chapter of the ACM, Kaiserslautern; pp.95–118; Teubner; February, 1981

Journal Special Issue Edited

Formal techniques for Java programs: Gary Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll; ECOOP 2001 workshop, Budapest, Hungary, 2001; pp.30–40; Springer-Verlag; 2002

Department of Computing Technical Report

A Featherweight Model for Chorded Languages: Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach; December, 2008

Technical Reports

Zeno: A tool for the automatic verification of algebraic properties of functional programs: William Sonnex, Sophia Drossopoulou, Susan Eisenbach; February, 2011
Safety in Flexible Dynamic Linking: Alex Buckley, Sophia Drossopoulou; Imperial College London, Department of Computing; October, 2004
Java Type Soundness Revisited: Sophia Drossopoulou, Susan Eisenbach, Tanya Valkevych; Imperial College London, Department of Computing; September, 2000
Java Exceptions Throw No Surprises: Sophia Drossopoulou, Tanya Valkevych; Imperial College London, Department of Computing; March, 2000

BibTeX file for these publications

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.