Computing Publications

Publications Home » Authors » Prof Susan Eisenbach

Authors

Prof Susan Eisenbach

85 publications for this author.

Books

Reasoned Programming [PDF]
Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers
pp.1–296
Prentice Hall
1994
Program Design with Modula-2
Susan Eisenbach, Chris Sadler
Addison-Wesley
November, 1989
Functional Programming: Languages, Tools, and Architectures
Susan Eisenbach
Ellis Horwood
January, 1987
Pascal for Programmers
Susan Eisenbach, Chris Sadler
Springer Verlag
August, 1982

Book Chapters

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
Modelling Darwin in pi-Calculus
Jeff Kramer, Jeff Magee, Susan Eisenbach
Theory and Practice in Distributed Systems
pp.133–152
Lecture Notes in Computer Science, Springer-Verlag
July, 1995
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
Coordinating components in middleware systems [PDF]
Matthias Radestock, Susan Eisenbach
Concurrency and Computation: Practice & Experience
Volume 15, Issue 13
2003
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

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
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
The Environment as an Argument [PDF]
Pedro Martins, Julie McCann, Susan Eisenbach
Fourteenth International Symposium on Practical Aspects of Declarative Languages
Volume 7149
Lecture Notes in Computer Science
January, 2012
High Coverage Testing of Haskell Programs [PDF]
Tristan Allwood, Cristian Cadar, Susan Eisenbach
International Symposium on Software Testing and Analysis
July, 2011
JErlang: Erlang with Joins [PDF]
Hubert Plociniczak, Susan Eisenbach
Coordination 2010
Springer
June, 2010
Finding the needle: Stack Traces for GHC [PDF]
Tristan Allwood, Simon Peyton Jones, Susan Eisenbach
Haskell'09
September, 2009
Verification of Policy-based Self-Managed Cell Interactions Using Alloy [PDF]
Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach
10th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy)
IEEE
July, 2009
Changing the Marks Based Culture of Learning through Peer Assisted Tutorials [PDF]
Esat Aplay, Peter Cutler, Susan Eisenbach, A. J. Field
American Society for Engineering Education
2009
Fairness for Chorded Languages [PDF]
Alexis Petrounias, Susan Eisenbach
Coordination'09
Springer
June, 2009
Stage: Python with Actors [PDF]
J.W. Ayres, Susan Eisenbach
International Workshop on Multicore Software Engineering (IWMSE)
May, 2009
Safely Speaking in Tongues: Statically Checking Domain Specific Languages in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
LDTA'09
March, 2009
Softly safely spoken: Role playing for Session Types [PDF]
Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach
Places'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
Lock Inference Proven Correct [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
FTfJP
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
Extending the S-Net Type System [PDF]
Haoxuan (Max) Cai, Susan Eisenbach, Clemens Grelck, Alex Shafarenko
AETHER - MORPHEUS Workshop - Autumn School 2007 AMWAS 07
October, 2007
Universe Types for Race Safety [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
VAMP 07
pp.20–51
September, 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
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
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
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
Managing the evolution of .NET programs [PDF]
Susan Eisenbach, Chris Sadler, Vladimir Jurisic
6th international conference on formal methods for open object-based distributed systems, Paris, France, 2003
Springer-Verlag
2003
Safe Upgrading Without Restarting [PDF]
Miles Barr, Susan Eisenbach
International conference on software maintenance, Amsterdam, Netherlands, 2003
IEEE Computer Soc
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
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
From process algebra to Java code [PDF]
Andrew Phillips, Susan Eisenbach, Daniel Lister
Proceedings of formal techniques for Java-like programs (FTfJP'02), affiliated with ECOOP'02, Malaga, June 2002
June, 2002
Manifestations of Dynamic Linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
The First Workshop on Unanticipated Software Evolution (USE 2002), Málaga, Spain
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
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
Semantics of Threads and Main Memory
Vishnu Kotrajaras, Susan Eisenbach
Formal Techniques for Java Programs: ECOOP' 99 Workshop, Lisbon
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 Informal Deduction
Krysia Broda, Susan Eisenbach
ACSE'96, Sydney, Australia
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
Teaching Program Reasoning in the First Year
Krysia Broda, Susan Eisenbach
NSF Teaching Formal Methods Workshop, New York
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

Journal Special Issues 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
Special issue: formal techniques for Java programs
Susan Eisenbach, Gary Leavens
Concurrency and Computation: Practice and Experience
Volume 13, Issue 13
Wiley InterScience
November, 2001

Proceedings Edited

Component Deployment
Alan Dearle, Susan Eisenbach
Component Deployment Third International Working Conference, CD 2005
Volume 3798
Lecture Notes in Computer Science, Springer
November, 2005

Position Paper

Fast Multi-Level Locks for Java: A Preliminary Performance Evaluation [PDF]
Khilan Gudka, Susan Eisenbach
EC^2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly
July, 2010

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
Verification of Policy-based Self-Managed Cell Interactions Using Alloy [PDF]
Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach
April, 2009
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
Java Type Soundness Revisited [PDF] [Postscript]
Sophia Drossopoulou, Susan Eisenbach, Tanya Valkevych
Imperial College London, Department of Computing
September, 2000

BibTeX file for these publications

 

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