Computing Publications

Publications Home » Keywords » SLURP

Publications matching SLURP
What are feeds?
All feeds

SLURP

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

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
An Object Model for Distributed and Concurrent Programming Based on Decomposition [PDF]
Matthias Radestock, Susan Eisenbach
Object Orientation with Parallelism and Persistence
Issue 4
Kluwer Academic Publishers
1996
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

Reuse and Abuse [PDF]
Susan Eisenbach, Chris Sadler
JOT : Journal of Object Technology
Volume 6, Issue 1
ETH Swiss Federal Institute of Technology
January, 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
Alias and Union Types for Delegation [PDF]
Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini
Annals of Mathematics, Computing and Teleinformatics
Volume 1, pp.1–18
February, 2003
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
Coordinating components in middleware systems [PDF]
Matthias Radestock, Susan Eisenbach
Concurrency and Computation: Practice & Experience
Volume 15, Issue 13
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
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
Flexible Dynamic Linking for .NET [PDF]
Anders Aaltonen, Alex Buckley, Susan Eisenbach
.NET Technologies 2006
Volume 2006, Issue 4, pp.1–8
Microsoft
June, 2006
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

Tickling Java with a Feather [PDF]
Tristan Allwood, Susan Eisenbach
Electronic Notes in Theoretical Computer Science
Elsevier
2008
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

Conference and Workshop Papers

Lock Inference in the Presence of Large Libraries [PDF]
Khilan Gudka, Tim Harris, Susan Eisenbach
Eurepean Conference for Object-Oriented Programming
June, 2012
A Sip of the Chalice [PDF]
Azalea Raad
FTfJP 2011
ACM Digital Library, ACM Press
July, 2011
A Sip of the Chalice [PDF]
Azalea Raad, Sophia Drossopoulou
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
Parameterised Multiparty Session Types [PDF]
Andi Bejleri, Pierre-Malo , Raymond Hu, Nobuko Yoshida
International Conference on Foundations of Software Science and Computation Structures
Volume 6014, Issue 2010, pp.128–145
Lecture Notes in Computer Science, Springer-Verlag
March, 2010
Considerate Reasoning and the Composite Design Pattern [PDF]
Alexander Summers, Sophia Drossopoulou
VMCAI'2010
Springer-Verlag, LNCS
January, 2010
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
Stage: Python with Actors [PDF]
J.W. Ayres, Susan Eisenbach
International Workshop on Multicore Software Engineering (IWMSE)
May, 2009
Existential Quantification for Variant Ownership
Nicholas Cameron, Sophia Drossopoulou
European Symposium on Programming
Lecture Notes in Computer Science, Springer
March, 2009
Safely Speaking in Tongues: Statically Checking Domain Specific Languages in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
LDTA'09
March, 2009
Strengthening the Zipper [PDF]
Tristan Allwood, Susan Eisenbach
LDTA 2009
2009
CLASE: Cursor Library for A Structured Editor (Tool Demo) [PDF]
Tristan Allwood, Susan Eisenbach
Haskell Symposium '08
2008
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
Keep Off The Grass: Locking the Right Path for Atomicity [PDF]
David Cunningham, Khilan Gudka, Susan Eisenbach
Compiler Construction 2008
Volume 4959, pp.276–290
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
April, 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
Towards an Existential Types Model for Java Wildcards
Nicholas Cameron, Erik Ernst, Sophia Drossopoulou
Formal Techniques for Java-like Programs (FTfJP) 2007
July, 2007
Component Adaptation in Contemporary Execution Environments [PDF]
Susan Eisenbach, Chris Sadler, Dominic Wong
DAIS'2007, 7th IFIP International Conference on Distributed Applications and Interoperable Systems
Lecture Notes in Computer Science, Springer-Verlag
June, 2007
On the Execution of Ambients [PDF]
Matthew Sackman, Susan Eisenbach
MTCoord 2007
June, 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
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
Keeping control of reusable components [PDF]
Susan Eisenbach, Chris Sadler, Dilek Kayhan
2nd international working conference on component deployment, e-science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
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
A distributed abstract machine for boxed ambient calculi [PDF]
Andrew Phillips, Nobuko Yoshida, Susan Eisenbach
13th European symposium on programming (ESOP 2004), Barcelona, Spain
Springer-Verlag
2004
MagicBeans: a platform for deploying plugin components [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
2004
Predictable dynamic plugin systems [PDF]
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel
7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN
Springer-Verlag
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
Safe Upgrading Without Restarting [PDF]
Miles Barr, Susan Eisenbach
International conference on software maintenance, Amsterdam, Netherlands, 2003
IEEE Computer Soc
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
Modelling a framework for plugins [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
Specification and verification of component-based systems, September 2003
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
Evolution of Distributed Java Programs [PDF]
Susan Eisenbach, Chris Sadler, Shakil Shaikh
IFIP/ACM working conference on component deployment, Berlin, Germany, 2002
Springer-Verlag
2002
Manifestations of Dynamic Linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
June, 2002
Lexis EXam invigilation system [PDF]
Mike Wyer, Susan Eisenbach
15th systems administration conference, San Diego, CA
USENIX Association
December, 2001
Changing Java programs [PDF]
Susan Eisenbach, Chris Sadler
IEEE international conference on software maintenance (ICSM 2001), Florence, Italy
IEEE Computer Soc
2001
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
Ephemeral Java Source Code [PDF]
Susan Eisenbach, Chris Sadler
IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town
1999
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
Can Corba save a Fringe Language from Becoming Obsolete? [PDF]
Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkhallah
DAIS'99 Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, Helsinki
1999
What is Java Binary Compatibility? [PDF]
Sophia Drossopoulou, David Wragg, Susan Eisenbach
OOPSLA 1998
pp.341–361
October, 1998
Component Coordination in Middleware Systems [PDF]
Susan Eisenbach, Matthias Radestock
IFIP International Conference on Distributed Systems Platforms and OpenDistributed Processing (Middleware'98)
p.240
Springer Verlag
September, 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
Agent-based Configuration Management [PDF]
Matthias Radestock, Susan Eisenbach
7th IFIP/IEEE International Workshop on Distributed Systems: Operation and Management
1996
Coordination in Evolving Systems [PDF]
Matthias Radestock, Susan Eisenbach
International Workshop on Trends in Distributed Systems
1996
Formalizing System Structure [PDF]
Matthias Radestock, Susan Eisenbach
IWSSD-8
IEEE Computer Society Press, Paderborn Germany
1996
Semantics of a Higher-Order Coordination Language [PDF]
Matthias Radestock, Susan Eisenbach
COORDINATION'96 Cesena, Italy
1996
Tool Support for Natural Deduction
Krysia Broda, Susan Eisenbach, Lloyd Kamara
Proceedings of ACSE96, CACM
1996
Specifying Distributed Software Architectures [PDF]
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
Fifth European Software Engineering Conference, ESEC '95 , Barcelona
1995
System Structuring: A Convergence of Theory and Practice? [PDF]
Jeff Magee, Jeff Kramer, Susan Eisenbach
Dagstuhl Workshop on Theory and Practice in Distributed Systems
Lecture Notes in Computer Science, Springer-Verlag
1995
An Object Model for Multiparadigm Programming [PDF]
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
OOPSLA Workshop on Multi-Language Object Models
1994
Modelling Darwin in the Pi-calculus
Jeff Magee, Susan Eisenbach, Jeff Kramer
International Workshop on Theory and Practice in Distributed Systems
Springer-Verlag
1994
Specifying the Concurrent Programming System Regis in the Pi-Calculus [PDF]
Susan Eisenbach, Jeff Kramer, Jeff Magee
Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh
1994
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming [PDF]
Matthias Radestock, Susan Eisenbach
PODC, Los Angeles
1994
What do you get from a pi-calculus semantics? [PDF]
Matthias Radestock, Susan Eisenbach
PARLE, Athens
1994
Pi-calculus semantics for the concurrent configuration language Darwin [PDF]
Susan Eisenbach, Ross Paterson
26th Hawaii International Conference on System Sciences
Volume 2, pp.456–462
January, 1993
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

Proceedings Edited

Type Checking for JavaScript [PDF]
Christopher Anderson, Paola Giannini
WOOD 2004
Issue 138, pp.37–58
Elsevier
2005

PhD Theses

Existential Types for Subtype Variance - Java Wildcards and Ownership Types
Nicholas Cameron
Imperial College London
April, 2009
On The Design of Chorded Languages [PDF]
Alexis Petrounias
Imperial College London
December, 2008
Flexible Dynamic Linking [PDF]
Alex Buckley
Department of Computing, Imperial College London
February, 2007
Type Inference for JavaScript [PDF]
Christopher Anderson
Department of Computing, Imperial College London
March, 2006

Department of Computing Technical Report

A Featherweight Model for Chorded Languages [PDF]
Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach
December, 2008

Technical Reports

Errors for the Common Man: Hiding the unintelligable in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
September, 2008
Session Types in Haskell: Updating Message Passing for the 21st Century [PDF]
Matthew Sackman, Susan Eisenbach
July, 2008
CLASE: Cursor Library for A Structured Editor [PDF]
Tristan Allwood, Susan Eisenbach
June, 2008
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.