Faculty of Engineering: Department of Computing

Papers: Prof. Susan Eisenbach

< Susan Eisenbach

Books

  1. Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers, Reasoned Programming, Prentice Hall, 1994, ISBN: 0-13-098831-6, More>

  2. Susan Eisenbach, Chris Sadler, Program Design with Modula-2, Addison-Wesley, 1989-11, More>

  3. Susan Eisenbach (Ed.), Functional Programming: Languages, Tools, and Architectures, Ellis Horwood, 1987-01, ISBN: 0853129738, More>

  4. Susan Eisenbach, Chris Sadler, Pascal for Programmers, Springer Verlag, 1982-07, More>

Book Chapters

  1. Sophia Drossopoulou, Susan Eisenbach, Towards an Operational Semantics and Proof of Type Soundness for Java in Formal Syntax and Semantics of Java, Springer-Verlag, 1999, More>

  2. Matthias Radestock, Susan Eisenbach, An Object Model for Distributed and Concurrent Programming Based on Decomposition in Object Orientation with Parallelism and Persistence, Kluwer Academic Publishers, 1996, More>

  3. Jeff Kramer, Jeff Magee, Susan Eisenbach, Modelling Darwin in pi-Calculus in Theory and Practice in Distributed Systems, Springer-Verlag, 1995-06, More>

  4. Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach, Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming in Programming Languages and System Architectures, Springer-Verlag, 1994-01, More>

Journal Articles

  1. Susan Eisenbach, Chris Sadler, Reuse and Abuse in JOT : Journal of Object Technology, ETH Swiss Federal Institute of Technology, 2007-01, More>

  2. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach, A flexible model for dynamic linking in Java and C# in Theoretical Computer Science, 2006-12, More>

  3. Matthias Radestock, Susan Eisenbach, Coordinating components in middleware systems in Concurrency and Computation: Practice & Experience, 2003, More>

  4. Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach, Object-Oriented Technology in Multiparadigm Language Implementation in Journal of Object Oriented Programming, 1995-03, More>

  5. Anders Aaltonen, Alex Buckley, Susan Eisenbach, Flexible Dynamic Linking for .NET, Microsoft, 2006-05, More>

  6. Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid, Is the Java Type System is Sound in Theory and Practice of Object Systems, 1999-09, More>

  7. Tristan Allwood, Susan Eisenbach, Tickling Java with a Feather in Electronic Notes in Theoretical Computer Science, Elsevier, 2008, More>

  8. Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach, SCHOOL: a Small Chorded Object-Oriented Language in Electronic Notes in Theoretical Computer Science, Elsevier, 2006-03, More>

Proceedings Edited

  1. Alan Dearle, Susan Eisenbach, Component Deployment presented at: Component Deployment Third International Working Conference, CD 2005, Springer, 2005-11, ISBN: 978-3-540-30517-0, More>

Conference and Workshop Papers

  1. Khilan Gudka, Tim Harris, Susan Eisenbach, Lock Inference in the Presence of Large Libraries presented at: European Conference on Object-Oriented Programming, 2012-05, More>

  2. William Sonnex, Sophia Drossopoulou, Susan Eisenbach, Zeno: An automated prover for properties of recursive data structures presented at: TACAS, 2012-03, More>

  3. Pedro Martins, Julie McCann, Susan Eisenbach, The Environment as an Argument presented at: Fourteenth International Symposium on Practical Aspects of Declarative Languages, 2012-01, More>

  4. Tristan Allwood, Cristian Cadar, Susan Eisenbach, High Coverage Testing of Haskell Programs presented at: International Symposium on Software Testing and Analysis, 2011-06, More>

  5. Hubert Plociniczak, Susan Eisenbach, JErlang: Erlang with Joins presented at: Coordination 2010, Springer, 2010-05, More>

  6. Tristan Allwood, Simon Peyton Jones, Susan Eisenbach, Finding the needle: Stack Traces for GHC presented at: Haskell'09, 2009-08, More>

  7. Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach, Verification of Policy-based Self-Managed Cell Interactions Using Alloy presented at: 10th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy), IEEE, 2009-06, More>

  8. Esat Aplay, Peter Cutler, Susan Eisenbach, A. J. Field, Changing the Marks Based Culture of Learning through Peer Assisted Tutorials presented at: American Society for Engineering Education, 2009, More>

  9. Alexis Petrounias, Susan Eisenbach, Fairness for Chorded Languages presented at: Coordination'09, Springer, 2009-05, More>

  10. J.W. Ayres, Susan Eisenbach, Stage: Python with Actors presented at: International Workshop on Multicore Software Engineering (IWMSE), 2009-04, More>

  11. Matthew Sackman, Susan Eisenbach, Safely Speaking in Tongues: Statically Checking Domain Specific Languages in Haskell presented at: LDTA'09, 2009-03, More>

  12. Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach, Softly safely spoken: Role playing for Session Types presented at: Places'09, 2009-03, More>

  13. Tristan Allwood, Susan Eisenbach, Strengthening the Zipper presented at: LDTA 2009, 2009, More>

  14. Tristan Allwood, Susan Eisenbach, CLASE: Cursor Library for A Structured Editor (Tool Demo) presented at: Haskell Symposium '08, 2008, More>

  15. David Cunningham, Sophia Drossopoulou, Susan Eisenbach, Lock Inference Proven Correct presented at: FTfJP, 2008-06, More>

  16. David Cunningham, Khilan Gudka, Susan Eisenbach, Keep Off The Grass: Locking the Right Path for Atomicity presented at: Compiler Construction 2008, Springer Berlin / Heidelberg, 2008-03, ISBN: 978-3-540-78790-7, More>

  17. Haoxuan (Max) Cai, Susan Eisenbach, Clemens Grelck, Alex Shafarenko, Extending the S-Net Type System presented at: AETHER - MORPHEUS Workshop - Autumn School 2007 AMWAS 07, 2007-09, More>

  18. David Cunningham, Sophia Drossopoulou, Susan Eisenbach, Universe Types for Race Safety presented at: VAMP 07, 2007-08, More>

  19. Susan Eisenbach, Chris Sadler, Dominic Wong, Component Adaptation in Contemporary Execution Environments presented at: DAIS'2007, 7th IFIP International Conference on Distributed Applications and Interoperable Systems, Springer-Verlag, 2007-05, More>

  20. Matthew Sackman, Susan Eisenbach, On the Execution of Ambients presented at: MTCoord 2007, 2007-05, More>

  21. Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou, Flexible Bytecode for Linking in .NET presented at: ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005), 2005, More>

  22. Sophia Drossopoulou, Susan Eisenbach, Flexible, source level, dynamic linking and re-linking presented at: Formal techniques for Java-like languages, 2003, 2004, More>

  23. Susan Eisenbach, Chris Sadler, Dilek Kayhan, Keeping control of reusable components presented at: 2nd international working conference on component deployment, e-science Institute, Edinburgh, Scotland, 2004, Springer-Verlag, 2004, More>

  24. Andrew Phillips, Nobuko Yoshida, Susan Eisenbach, A distributed abstract machine for boxed ambient calculi presented at: 13th European symposium on programming (ESOP 2004), Barcelona, Spain, Springer-Verlag, 2004, More>

  25. Robert Chatley, Susan Eisenbach, Jeff Magee, MagicBeans: a platform for deploying plugin components presented at: 2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004, Springer-Verlag, 2004, More>

  26. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel, Predictable dynamic plugin systems presented at: 7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN, Springer-Verlag, 2004, More>

  27. Susan Eisenbach, Chris Sadler, Vladimir Jurisic, Managing the evolution of .NET programs presented at: 6th international conference on formal methods for open object-based distributed systems, Paris, France, 2003, Springer-Verlag, 2003, More>

  28. Miles Barr, Susan Eisenbach, Safe Upgrading Without Restarting presented at: International conference on software maintenance, Amsterdam, Netherlands, 2003, IEEE Computer Soc, 2003, More>

  29. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach, Flexible Models for Dynamic Linking presented at: Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Springer, 2003-03, More>

  30. Robert Chatley, Susan Eisenbach, Jeff Magee, Modelling a framework for plugins presented at: Specification and verification of component-based systems, September 2003, 2003, More>

  31. Susan Eisenbach, Chris Sadler, Shakil Shaikh, Evolution of Distributed Java Programs presented at: IFIP/ACM working conference on component deployment, Berlin, Germany, 2002, Springer-Verlag, 2002, More>

  32. Andrew Phillips, Susan Eisenbach, Daniel Lister, From process algebra to Java code presented at: Proceedings of formal techniques for Java-like programs (FTfJP'02), affiliated with ECOOP'02, Malaga, June 2002, 2002-05, More>

  33. Sophia Drossopoulou, Susan Eisenbach, Manifestations of Dynamic Linking presented at: The First Workshop on Unanticipated Software Evolution (USE 2002), Málaga, Spain, 2002-05, More>

  34. Mike Wyer, Susan Eisenbach, Lexis EXam invigilation system presented at: 15th systems administration conference, San Diego, CA, USENIX Association, 2001-12, More>

  35. Susan Eisenbach, Chris Sadler, Changing Java programs presented at: IEEE international conference on software maintenance (ICSM 2001), Florence, Italy, IEEE Computer Soc, 2001, More>

  36. Susan Eisenbach, Chris Sadler, Ephemeral Java Source Code presented at: IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town, 1999, More>

  37. Sophia Drossopoulou, Susan Eisenbach, David Wragg, A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility, presented at: Logic in Computer Science (LICS), Trento, 1999, More>

  38. Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkhallah, Can Corba save a Fringe Language from Becoming Obsolete? presented at: DAIS'99 Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, Helsinki, 1999, More>

  39. Vishnu Kotrajaras, Susan Eisenbach, Semantics of Threads and Main Memory presented at: Formal Techniques for Java Programs: ECOOP' 99 Workshop, Lisbon, 1999, More>

  40. Sophia Drossopoulou, David Wragg, Susan Eisenbach, What is Java Binary Compatibility? presented at: OOPSLA 1998, 1998-09, More>

  41. Susan Eisenbach, Matthias Radestock, Component Coordination in Middleware Systems presented at: IFIP International Conference on Distributed Systems Platforms and OpenDistributed Processing (Middleware'98), Springer Verlag, 1998-08, More>

  42. Sophia Drossopoulou, Susan Eisenbach, The Java Type System is Sound - Probably presented at: European Conference of Object Oriented programming, Jyvaskyla, Finland, Springer-Verlag, 1997, More>

  43. Sophia Drossopoulou, Susan Eisenbach, Is the Java Type System Sound? presented at: FOOL 4( Foundations of Object Oriented Languages), Paris, 1997, More>

  44. Matthias Radestock, Susan Eisenbach, Agent-based Configuration Management presented at: 7th IFIP/IEEE International Workshop on Distributed Systems: Operation and Management, 1996, More>

  45. Matthias Radestock, Susan Eisenbach, Coordination in Evolving Systems presented at: International Workshop on Trends in Distributed Systems, 1996, More>

  46. Matthias Radestock, Susan Eisenbach, Formalizing System Structure presented at: IWSSD-8, IEEE Computer Society Press, Paderborn Germany, 1996, More>

  47. Matthias Radestock, Susan Eisenbach, Semantics of a Higher-Order Coordination Language presented at: COORDINATION'96 Cesena, Italy, 1996, More>

  48. Krysia Broda, Susan Eisenbach, Tool Support for Informal Deduction presented at: ACSE'96, Sydney, Australia, 1996, More>

  49. Krysia Broda, Susan Eisenbach, Lloyd Kamara, Tool Support for Natural Deduction presented at: Proceedings of ACSE96, CACM, 1996, More>

  50. Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer, Specifying Distributed Software Architectures presented at: Fifth European Software Engineering Conference, ESEC '95 , Barcelona, 1995, More>

  51. Jeff Magee, Jeff Kramer, Susan Eisenbach, System Structuring: A Convergence of Theory and Practice? presented at: Dagstuhl Workshop on Theory and Practice in Distributed Systems, Springer-Verlag, 1995, More>

  52. Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach, An Object Model for Multiparadigm Programming presented at: OOPSLA Workshop on Multi-Language Object Models, 1994, More>

  53. Jeff Magee, Susan Eisenbach, Jeff Kramer, Modelling Darwin in the Pi-calculus presented at: International Workshop on Theory and Practice in Distributed Systems, Springer-Verlag, 1994, More>

  54. Susan Eisenbach, Jeff Kramer, Jeff Magee, Specifying the Concurrent Programming System Regis in the Pi-Calculus presented at: Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh, 1994, More>

  55. Krysia Broda, Susan Eisenbach, Teaching Program Reasoning in the First Year presented at: NSF Teaching Formal Methods Workshop, New York, 1994, More>

  56. Matthias Radestock, Susan Eisenbach, Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming presented at: PODC, Los Angeles, 1994, More>

  57. Matthias Radestock, Susan Eisenbach, What do you get from a pi-calculus semantics? presented at: PARLE, Athens, 1994, More>

  58. Susan Eisenbach, Ross Paterson, Pi-calculus semantics for the concurrent configuration language Darwin presented at: 26th Hawaii International Conference on System Sciences, 1993-01, ISBN: 0-8186-3230-5, More>

Technical Reports

  1. Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach, A Featherweight Model for Chorded Languages, 2008-12, More>

  2. William Sonnex, Sophia Drossopoulou, Susan Eisenbach, Zeno: A tool for the automatic verification of algebraic properties of functional programs , 2011-02, More>

  3. Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach, Verification of Policy-based Self-Managed Cell Interactions Using Alloy, 2009-03, More>

  4. Matthew Sackman, Susan Eisenbach, Errors for the Common Man: Hiding the unintelligable in Haskell , 2008-08, More>

  5. Matthew Sackman, Susan Eisenbach, Session Types in Haskell: Updating Message Passing for the 21st Century, 2008-06, More>

  6. Tristan Allwood, Susan Eisenbach, CLASE: Cursor Library for A Structured Editor, 2008-05, More>

  7. Sophia Drossopoulou, Susan Eisenbach, Tanya Valkevych, Java Type Soundness Revisited, Imperial College London, Department of Computing, 2000-08, More>

Other Publications

  1. Gary Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll, Formal techniques for Java programs (Journal Special Issue Edited), presented at: ECOOP 2001 workshop, Budapest, Hungary, 2001, Springer-Verlag, 2002, ISBN: 3-5404-3675-8, More>

  2. Susan Eisenbach, Gary Leavens, Special issue: formal techniques for Java programs (Journal Special Issue Edited) in Concurrency and Computation: Practice and Experience, Wiley InterScience, 2001-11, More>

  3. Khilan Gudka, Susan Eisenbach, Fast Multi-Level Locks for Java: A Preliminary Performance Evaluation (Position Paper), presented at: EC^2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly, 2010-06, More>


CategoryPeople, CategoryPapers

sue/AllPapers (last edited 2009-05-21 08:50:44 by localhost)