Computing Publications

Publications Home » Authors » Prof Sophia Drossopoulou

Authors

Prof Sophia Drossopoulou

78 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 [Postscript]
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 [PDF]
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 [PDF]
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 [PDF]
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# [PDF]
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 [PDF]
Christopher Anderson, Sophia Drossopoulou
Electronic Notes in Theoretical Computer Science
Volume 82, Issue 8
2003
More Dynamic Object Re-classification: FickleII [Postscript]
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 [PDF]
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 [PDF]
David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter , 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 [Postscript]
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 [PDF]
Alexander Summers, Sophia Drossopoulou, Peter Mueller
Journal for Object Technology
April, 2009
SCHOOL: a Small Chorded Object-Oriented Language [PDF]
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) [PDF]
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 [PDF]
William Sonnex, Sophia Drossopoulou, Susan Eisenbach
TACAS
Lecture Notes in Computer Science
March, 2012
Trust the Clones [PDF]
Sophia Drossopoulou, James Noble
FoVEOOS - preproceedings
October, 2011
A Sip of the Chalice [PDF]
Azalea Raad, Sophia Drossopoulou
July, 2011
Roles for Owners - Work in progress - [PDF]
Sophia Drossopoulou, David Clarke, James Noble
IWACO 2011
ACM Digital Library, ACM Press
July, 2011
Towards a Semantic Model for Java Wildcards [PDF]
Alexander Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
FTfJP - 2010
ACM Press
June, 2010
Considerate Reasoning and the Composite Design Pattern [PDF]
Alexander Summers, Sophia Drossopoulou
VMCAI'2010
Springer-Verlag, LNCS
January, 2010
On Subtyping, Wildcards, and Existential Types [PDF]
Nicholas Cameron, Sophia Drossopoulou
11th Workshop on Formal techniques for Java-like Programs
ACM Digital Library, ACM
July, 2009
On Subtyping, Wildcards, and Existential Types [PDF]
Nicholas Cameron, Sophia Drossopoulou
Formal Techniques for Java Programs
ACM Digital Library
July, 2009
The Need for Flexible Object Invariants [PDF]
Alexander Summers, Sophia Drossopoulou, Peter
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 [PDF]
Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach
Places'09
March, 2009
A Model for Java Wildcards [PDF]
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 [PDF]
Sophia Drossopoulou, Adrian Francalanza, Peter , 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) [PDF]
Alexander Summers, Sophia Drossopoulou, Peter
Formal techniques for Java-like Programming
July, 2008
Lock Inference Proven Correct [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
FTfJP
July, 2008
A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou, Adrian Francalanza, Peter
International Workshop on Foundations of Object Oriented Languages (FOOL)
January, 2008
Multiple Ownership [PDF]
Nicholas Cameron, Sophia Drossopoulou, James Noble, Matthew Smith
OOPSLA 07
October, 2007
Universe Types for Race Safety [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
VAMP 07
pp.20–51
September, 2007
Amalgamating the Session Types and the Object Oriented Programming Paradigms [PDF]
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Mario Coppo
Multiparadigm Programming with Object-Oriented Languages 2007 (an ECOOP workshop)
August, 2007
Generic Universe Types [PDF]
Werner Dietl, Sophia Drossopoulou, Peter
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 [PDF]
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 [PDF]
Werner Dietl, Sophia Drossopoulou, Peter
International Workshop on Foundations of Object Oriented Languages (FOOL) 2007
January, 2007
A state abstraction for coordination in Java-like languages [PDF]
Ferruccio Damiani, Elena Giachino, Paola Giannini, Nicholas Cameron, Sophia Drossopoulou
Formal techniques for Java-like languages
July, 2006
Session Types for Object-Oriented Languages [PDF]
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 [PDF]
Charles Smith, Sophia Drossopoulou
European Conference for Object-Oriented Programming
pp.543–576
Springer Verlag
July, 2005
Towards Type Inference for JavaScript [PDF]
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 [PDF]
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
International Symposium of Trustworthy Global Computing
April, 2005
Flexible Bytecode for Linking in .NET [PDF]
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 [PDF]
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 [PDF]
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
June, 2004
Flexible Dynamic Linking [PDF]
Alex Buckley, Sophia Drossopoulou
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
June, 2004
Flexible, source level, dynamic linking and re-linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
Formal techniques for Java-like languages, 2003
2004
Simple Dependent Types: Concord [PDF]
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) [PDF]
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 [PDF]
Matthew Smith, Sophia Drossopoulou
IWACO 2003 - Workshop affilicated to ECOOP 2003
July, 2003
Inner classes visit Aliasing [Postscript]
Sophia Drossopoulou, Matthew Smith
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2003), Darmstadt, Germany
July, 2003
Flexible Models for Dynamic Linking [PDF]
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 [Postscript]
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 [PDF]
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 [PDF]
Christopher Anderson, Sophia Drossopoulou
USE 2002
2002
Manifestations of Dynamic Linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
June, 2002
An Effective Translation of Fickle into Java [Postscript]
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 [Postscript]
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 [Postscript]
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, [PDF]
Sophia Drossopoulou, Susan Eisenbach, David Wragg
Logic in Computer Science (LICS), Trento
1999
What is Java Binary Compatibility? [PDF]
Sophia Drossopoulou, David Wragg, Susan Eisenbach
OOPSLA 1998
pp.341–361
October, 1998
The Java Type System is Sound - Probably [PDF]
Sophia Drossopoulou, Susan Eisenbach
European Conference of Object Oriented programming, Jyvaskyla, Finland
Springer-Verlag
1997
Is the Java Type System Sound? [PDF]
Sophia Drossopoulou, Susan Eisenbach
FOOL 4( Foundations of Object Oriented Languages), Paris
1997
An Object Model for Multiparadigm Programming [PDF]
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
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 [PDF]
Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach
December, 2008

Technical Reports

Zeno: A tool for the automatic verification of algebraic properties of functional programs [PDF]
William Sonnex, Sophia Drossopoulou, Susan Eisenbach
February, 2011
Safety in Flexible Dynamic Linking [PDF]
Alex Buckley, Sophia Drossopoulou
Imperial College London, Department of Computing
October, 2004
Java Type Soundness Revisited [PDF] [Postscript]
Sophia Drossopoulou, Susan Eisenbach, Tanya Valkevych
Imperial College London, Department of Computing
September, 2000
Java Exceptions Throw No Surprises [PDF] [Postscript]
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.