Computing Publications

Publications Home » Authors » Prof Susan Eisenbach

Authors

Prof Susan Eisenbach

On this page:

Books
Book Chapters
Journal Articles
Journal Special Issue Articles
Electronic Journal Articles
Conference and Workshop Papers
Journal Special Issues Edited
Proceedings Edited
Position Paper
Department of Computing Technical Report
Technical Reports
BibTeX

85 publications for this author.

Books

Reasoned Programming: 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: 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: 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: 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: 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#: Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach; Theoretical Computer Science; Volume 368, Issue 1, pp.1–29; December, 2006
Coordinating components in middleware systems: Matthias Radestock, Susan Eisenbach; Concurrency and Computation: Practice & Experience; Volume 15, Issue 13; 2003
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

Flexible Dynamic Linking for .NET: 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: 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: Tristan Allwood, Susan Eisenbach; Electronic Notes in Theoretical Computer Science; Elsevier; 2008
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

Conference and Workshop Papers

Lock Inference in the Presence of Large Libraries: Khilan Gudka, Tim Harris, Susan Eisenbach; Eurepean Conference for Object-Oriented Programming; June, 2012
Zeno: An automated prover for properties of recursive data structures: William Sonnex, Sophia Drossopoulou, Susan Eisenbach; TACAS; Lecture Notes in Computer Science; March, 2012
The Environment as an Argument: 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: Tristan Allwood, Cristian Cadar, Susan Eisenbach; International Symposium on Software Testing and Analysis; July, 2011
JErlang: Erlang with Joins: Hubert Plociniczak, Susan Eisenbach; Coordination 2010; Springer; June, 2010
Finding the needle: Stack Traces for GHC: Tristan Allwood, Simon Peyton Jones, Susan Eisenbach; Haskell'09; September, 2009
Verification of Policy-based Self-Managed Cell Interactions Using Alloy: 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: Esat Aplay, Peter Cutler, Susan Eisenbach, A. J. Field; American Society for Engineering Education; 2009
Fairness for Chorded Languages: Alexis Petrounias, Susan Eisenbach; Coordination'09; Springer; June, 2009
Stage: Python with Actors: 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: Matthew Sackman, Susan Eisenbach; LDTA'09; March, 2009
Softly safely spoken: Role playing for Session Types: Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach; Places'09; March, 2009
Strengthening the Zipper: Tristan Allwood, Susan Eisenbach; LDTA 2009; 2009
CLASE: Cursor Library for A Structured Editor (Tool Demo): Tristan Allwood, Susan Eisenbach; Haskell Symposium '08; 2008
Lock Inference Proven Correct: David Cunningham, Sophia Drossopoulou, Susan Eisenbach; FTfJP; July, 2008
Keep Off The Grass: Locking the Right Path for Atomicity: 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: Haoxuan (Max) Cai, Susan Eisenbach, Clemens Grelck, Alex Shafarenko; AETHER - MORPHEUS Workshop - Autumn School 2007 AMWAS 07; October, 2007
Universe Types for Race Safety: David Cunningham, Sophia Drossopoulou, Susan Eisenbach; VAMP 07; pp.20–51; September, 2007
Component Adaptation in Contemporary Execution Environments: 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: Matthew Sackman, Susan Eisenbach; MTCoord 2007; June, 2007
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
Flexible, source level, dynamic linking and re-linking: Sophia Drossopoulou, Susan Eisenbach; Formal techniques for Java-like languages, 2003; 2004
Keeping control of reusable components: 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: 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: 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: 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: 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: Miles Barr, Susan Eisenbach; International conference on software maintenance, Amsterdam, Netherlands, 2003; IEEE Computer Soc; 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
Modelling a framework for plugins: Robert Chatley, Susan Eisenbach, Jeff Magee; Specification and verification of component-based systems, September 2003; 2003
Evolution of Distributed Java Programs: 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: 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: Sophia Drossopoulou, Susan Eisenbach; The First Workshop on Unanticipated Software Evolution (USE 2002), Málaga, Spain; June, 2002
Lexis EXam invigilation system: Mike Wyer, Susan Eisenbach; 15th systems administration conference, San Diego, CA; USENIX Association; December, 2001
Changing Java programs: Susan Eisenbach, Chris Sadler; IEEE international conference on software maintenance (ICSM 2001), Florence, Italy; IEEE Computer Soc; 2001
Ephemeral Java Source Code: 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,: Sophia Drossopoulou, Susan Eisenbach, David Wragg; Logic in Computer Science (LICS), Trento; 1999
Can Corba save a Fringe Language from Becoming Obsolete?: 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?: Sophia Drossopoulou, David Wragg, Susan Eisenbach; OOPSLA 1998; pp.341–361; October, 1998
Component Coordination in Middleware Systems: 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: 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
Agent-based Configuration Management: Matthias Radestock, Susan Eisenbach; 7th IFIP/IEEE International Workshop on Distributed Systems: Operation and Management; 1996
Coordination in Evolving Systems: Matthias Radestock, Susan Eisenbach; International Workshop on Trends in Distributed Systems; 1996
Formalizing System Structure: Matthias Radestock, Susan Eisenbach; IWSSD-8; IEEE Computer Society Press, Paderborn Germany; 1996
Semantics of a Higher-Order Coordination Language: 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: 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?: 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: 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: 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: Matthias Radestock, Susan Eisenbach; PODC, Los Angeles; 1994
What do you get from a pi-calculus semantics?: Matthias Radestock, Susan Eisenbach; PARLE, Athens; 1994
Pi-calculus semantics for the concurrent configuration language Darwin: 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: 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: 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
Verification of Policy-based Self-Managed Cell Interactions Using Alloy: Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach; April, 2009
Errors for the Common Man: Hiding the unintelligable in Haskell: Matthew Sackman, Susan Eisenbach; September, 2008
Session Types in Haskell: Updating Message Passing for the 21st Century: Matthew Sackman, Susan Eisenbach; July, 2008
CLASE: Cursor Library for A Structured Editor: Tristan Allwood, Susan Eisenbach; June, 2008
Java Type Soundness Revisited: 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.