dblp.uni-trier.dewww.uni-trier.de

Sophia Drossopoulou Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
59EESophia Drossopoulou: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings Springer 2009
58EENicholas R. Cameron, Sophia Drossopoulou: Existential Quantification for Variant Ownership. ESOP 2009: 128-142
57EEMariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009)
56EESara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino: Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009)
2008
55 Sophia Drossopoulou: 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 Springer 2008
54EENicholas R. Cameron, Sophia Drossopoulou, Erik Ernst: A Model for Java with Wildcards. ECOOP 2008: 2-26
53EESophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
52EEDave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
51EEElvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
50EESophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
49EEFerruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou: A type safe state abstraction for coordination in Java -like languages. Acta Inf. 45(7-8): 479-536 (2008)
2007
48EEDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134
47EEWerner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53
46EEDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49
45EEDave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
44EENicholas R. Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith: Multiple ownership. OOPSLA 2007: 441-460
43EEDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): (2007)
2006
42EEMariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352
41EEDavide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58
40EESophia Drossopoulou, David Clarke, James Noble: Types for Hierarchic Shapes. ESOP 2006: 1-6
39EEMariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida: Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245
38EESophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach: SCHOOL: a Small Chorded Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 135(3): 37-47 (2006)
37EESophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368(1-2): 1-29 (2006)
2005
36EEChristopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. ECOOP 2005: 428-452
35EECharles Smith, Sophia Drossopoulou: Chai: Traits for Java-Like Languages. ECOOP 2005: 453-478
34EEDavide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37
33EEMariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou: A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318
32EEViviana Bono, Michele Bugliesi, Sophia Drossopoulou: Preface. Electr. Notes Theor. Comput. Sci. 138(2): 1-2 (2005)
31EEAlex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou: Flexible Bytecode for Linking in .NET. Electr. Notes Theor. Comput. Sci. 141(1): 75-92 (2005)
2003
30EEDavid Clarke, Sophia Drossopoulou, James Noble: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207
29EESophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: Flexible Models for Dynamic Linking. ESOP 2003: 38-53
28EEFerruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110
27EEChristopher Anderson, Sophia Drossopoulou: BabyJ: from object based to class based programming via types. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
26EEChristopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou: Can addresses be types? (A case study: objects with delegation). Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
25EESophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
24EEDavid G. Clarke, Sophia Drossopoulou: Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310
23EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
2001
22EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
21EEGary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
20EEDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
19EEDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A type preserving translation of Fickle into Java. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
18EESophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
17EESophia Drossopoulou: An Abstract Model of Java Dynamic Linking and Loading. Types in Compilation 2000: 53-84
1999
16 Mark Skipper, Sophia Drossopoulou: Formalising Composition Oriented Programming. ECOOP Workshops 1999: 307-308
15 Sophia Drossopoulou: Java Type System with Exceptions. ECOOP Workshops 1999: 373-374
14EESophia Drossopoulou, Susan Eisenbach: Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java 1999: 41-82
13EESophia Drossopoulou, Susan Eisenbach, David Wragg: A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS 1999: 147-156
12 Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid: Is the Java Type System Sound? TAPOS 5(1): 3-24 (1999)
1998
11EESophia Drossopoulou, David Wragg, Susan Eisenbach: What is Java Binary Compatibility? OOPSLA 1998: 341-361
1997
10EESophia Drossopoulou, Susan Eisenbach: Java is Type Safe - Probably. ECOOP 1997: 389-418
1996
9 Sophia Drossopoulou, Stephan Karathanos, Dan Yang: Type-Checking Smalltalk. JOOP 8(8): 43-47, 72 (1996)
1995
8 Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach: Object-Oriented Technology in Multiparadigm Language Implementation. JOOP 8(1): 33-38 (1995)
1994
7EEDiomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach: Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures 1994: 191-207
1993
6 Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach: An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993)
1991
5 Sophia Drossopoulou, Ross Paterson, Susan Eisenbach: Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147
1982
4 Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner: An Attribute Grammar for the Semantic Analysis of Ada Springer 1982
3EESophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein: An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction 1982: 334-348
1981
2 Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein: The Tasking Facility of Ada. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 95-118
1 Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein: A Separate Compilation System for Ada. Werkzeuge der Programmiertechnik 1981: 197-213

Coauthor Index

1Samson Abramsky [6]
2Alexander Ahern [33]
3Elvira Albert [51]
4Davide Ancona [19] [20] [34] [41] [43]
5Christopher Anderson [19] [20] [26] [27] [36] [43]
6Anindya Banerjee [51]
7Franco Barbanera [26]
8Viviana Bono [32]
9Krysia Broda [6]
10Alex Buckley [31] [38]
11Michele Bugliesi [32]
12Nicholas R. Cameron [44] [54] [58]
13Sara Capecchi [56]
14Dave Clarke [46] [48] [52]
15David Clarke [30] [40]
16David G. Clarke [24]
17Mario Coppo [56]
18Dave Cunningham [45]
19Ferruccio Damiani [19] [20] [22] [23] [28] [34] [43] [49]
20Manfred Dausmann [1] [2] [3] [4]
21Mariangiola Dezani-Ciancaglini [22] [23] [26] [33] [39] [42] [56] [57]
22Werner Dietl [45] [47]
23Susan Eisenbach [5] [6] [7] [8] [10] [11] [12] [13] [14] [18] [21] [25] [29] [31] [37] [38]
24Erik Ernst [54]
25Anthony Finkelstein [6]
26Adrian Francalanza [45] [50] [53]
27Elena Giachino [39] [49] [56]
28Paola Giannini [19] [20] [22] [23] [28] [36] [43] [49]
29Gerhard Goos [3] [4]
30Marieke Huisman [51]
31Atsushi Igarashi [41] [51]
32Bart Jacobs [18]
33Stephan Karathanos [9]
34Sarfraz Khurshid [12]
35Walter Kirchgässner [4]
36Jeff Kramer [6]
37Giovanni Lagorio [29] [37]
38Gary T. Leavens [18] [21] [25] [41] [51]
39Dimitris Mostrous [42] [57]
40Peter Müller [18] [45] [47] [50] [51] [52] [53]
41Michelle Murray [31]
42James Noble [30] [40] [44] [46] [48] [52]
43Ross Paterson [5]
44Guido Persch [1] [2] [3] [4]
45Alexis Petrounias [38]
46Arnd Poetzsch-Heffter [18] [21] [25] [41]
47Erik Poll [21] [25]
48Mark Skipper [16]
49Charles Smith [35]
50Matthew J. Smith [44]
51Diomidis Spinellis [7] [8]
52Alexander J. Summers [45] [50] [53]
53James S. Uhl [3]
54Jürgen Uhl [4]
55Georg Winterstein [1] [2] [3] [4]
56David Wragg [11] [13]
57Tobias Wrigstad [46] [48] [51] [52]
58Dan Yang [9]
59Nobuko Yoshida [33] [39] [42] [57]
60Elena Zucca [19] [20] [34] [41] [43]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)