Publications

2012 (3)

2011 (2)

  • T Allwood, C Cadar, S Eisenbach, High Coverage Testing of Haskell Programs, International Symposium on Software Testing and Analysis, 2011
  • G Canfora, D Dalcher, D Raffo, VR Basili, J Fernandez-Ramil, V Rajlich, K Bennett, L Burd, M Munro, S Drossopoulou, B Boehm, S Eisenbach, G Michaelson, D Dalcher, P Ross, PD Wernick, DE Perry, In memory of Manny Lehman, 'Father of Software Evolution', JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, volume 23, issue 3, pp.137–144, 2011

2010 (2)

  • H Plociniczak, S Eisenbach, JErlang: Erlang with Joins, COORDINATION 2010, pp.61–75, 2010
  • TOR Allwood, S Eisenbach, Strengthening the Zipper., Electr. Notes Theor. Comput. Sci., volume 253, pp.3–18, 2010

2009 (8)

  • T Allwood, S Peyton Jones, S Eisenbach, Finding the needle: Stack Traces for GHC, 2nd ACM SIGPLAN symposium on Haskell, Haskell'09, pp.129–140, 2009
  • A Schaeffer Filho, E Lupu, M Sloman, S Eisenbach, Verification of Policy-based Self-Managed Cell Interactions Using Alloy, IEEE International Symposium on Policies for Distributed Systems and Networks (Policy), pp.37–40, 2009
  • A Petrounias, S Eisenbach, Fairness for Chorded Languages, Coordination'09, 2009
  • J Ayres, S Eisenbach, Stage: Python with Actors, International Workshop on Multicore Software Engineering (IWMSE), 2009
  • M Sackman, S Eisenbach, Safely Speaking in Tongues: Statically Checking Domain Specific Languages in Haskell, Workshop on Language Descriptions Tools and Applications (LDTA) 2009, pp.34–51, 2009
  • E Giachino, M Sackman, S Drossopoulou, S Eisenbach, Softly safely spoken: Role playing for Session Types, Places'09, 2009
  • TOR Allwood, S Eisenbach, CLASE: Cursor Library for A Structured Editor, ACM SIGPLAN NOTICES, volume 44, issue 2, pp.123–124, 2009
  • E Aplay, P Cutler, S Eisenbach, T Field, Changing the Marks Based Culture of Learning through Peer Assisted Tutorials, 2009 ASEE Annual Conference & Exposition, pp.1–24, 2009

2008 (7)

  • A Petrounias, S Drossopoulou, S Eisenbach, A Featherweight Model for Chorded Languages, pp.1–47, 2008
  • M Sackman, S Eisenbach, Errors for the Common Man: Hiding the unintelligable in Haskell, pp.1–12, 2008
  • S Drossopoulou, S Eisenbach, D Cunningham, Lock Inference Proven Correct, FTfJP, pp.24–35, 2008
  • M Sackman, S Eisenbach, Session Types in Haskell: Updating Message Passing for the 21st Century, 2008
  • T Allwood, S Eisenbach, CLASE: Cursor Library for A Structured Editor (Tool Demo), ACM SIGPLAN Symposium on Haskell, Haskell Symposium '08, pp.123–124, 2008
  • T Allwood, S Eisenbach, Tickling Java with a Feather, Electronic Notes in Theoretical Computer Science, Language Descriptions Tools and Applications 08, volume 238, issue 5, pp.3–16, 2008
  • D Cunningham, K Gudka, S Eisenbach, L Hendren, Keep off the grass: Locking the right path for atomicity, COMPILER CONSTRUCTION, 17th International Conference on Compiler Construction, volume 4959, pp.276–290, 2008

2007 (5)

  • S Eisenbach, H Cai, A Shafarenko, C Grelck, Extending the S-Net Type System, AETHER-Morpheus Workshop from Reconfigurable to Self-Adaptive Computing, AETHER - MORPHEUS Workshop - Autumn Session 2007 AMWAS 07, 2007
  • M Sackman, S Eisenbach, On the Execution of Ambients, 3rd International Workshop on Methods and Tool for Coordinating Concurrent Distributed and Mobile Systems (MTCoord) 2007, pp.1–18, 2007
  • S Eisenbach, C Sadler, D Wong, Component adaptation in contemporary execution environments, 7th International Conference on Distributed Applications and Interoperable Systems, volume 4531, pp.90–103, 2007
  • S. Eisenbach, C Sadler, Reuse and abuse, Journal of Object Technology, volume 6, pp.139–167, 2007
  • D Cunningham, S Eisenbach, S Drossopoulou, Universes for Race Safety, 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007, pp.1–32, 2007

2006 (3)

  • S. Drossopoulou, G. Lagorio, S. Eisenbach, A flexible model for dynamic linking in Java and C#, Theoretical Computer Science, volume 368, pp.1–29, 2006
  • Aaltonen A, Buckley AR, Eisenbach S, Flexible Dynamic Linking for .NET, volume 2006, pp.1–8, 2006
  • Drossopoulou S, Petrounias AN, Buckley AR, Eisenbach S, SCHOOL: a Small Chorded Object-Oriented Language, Electronic Notes in Theoretical Computer Science, volume 135, pp.37–47, 2006

2005 (3)

  • S Eisenbach, A Dearle, Component Deployment, Lecture Notes in Computer Science, Component DeploymentrnThird International Working Conference, CD 2005, volume 3798, 2005
  • Buckley AR, Murray M, Eisenbach S, Drossopoulou S, Flexible Bytecode for Linking in .NET, ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005), 2005
  • A Buckley, A Dearle, S Eisenbach, A model of dynamic binding in .NET, COMPONENT DEPLOYMENT, PROCEEDINGS, 3rd International Working Conference on Component Deployment, volume 3798, pp.149–163, 2005

2004 (5)

  • A Phillips, N Yoshida, S Eisenbach, D Schmidt, A distributed abstract machine for boxed ambient calculi, PROGRAMMING LANGUAGES AND SYSTEMS, 13th European Symposium on Programming (ESOP 2004), volume 2986, pp.155–170, 2004
  • S. Drossopoulou, S. Eisenbach, Flexible, source level, dynamic linking and re-linking, Formal techniques for Java-like languages, 2003, 2004
  • S. Eisenbach, D. Kayhan, C. Sadler, Keeping control of reusable components, 2nd international working conference on component deployment, e-science Institute, Edinburgh, Scotland, 2004, pp.144–158, 2004
  • R Chatley, S Eisenbach, J Magee, MagicBeans: a platform for deploying plugin components, 2nd International Working Conference on Component Deployment, volume 3083, pp.97–112, 2004
  • R Chatley, S Eisenbach, J Kramer, J Magee, S Uchitel, Predictable dynamic plugin systems, 7th International Conference on Fundamental Approaches to Software Engineering, volume 2984, pp.129–143, 2004

2003 (7)

  • M Radestock, S Eisenbach, Coordinating components in middleware systems, CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, volume 15, issue 13, pp.1205–1231, 2003
  • JF Naveda, DJ Bagert, S Seidman, J Armarego, TB Hilburn, S Eisenbach, Developing an Undergraduate Software Engineering Degree., CSEE&T, pp.318–318, 2003
  • S Drossopoulou, G Lagorio, S Eisenbach, P Degano, Flexible models for dynamic linking, PROGRAMMING LANGUAGES AND SYSTEMS, Joint European Conference on Theory and Practice of Software (ETAPS 2003), volume 2618, pp.38–53, 2003
  • S Eisenbach, GT Leavens, P Muller, A Poetzsch-Heffter, E Poll, Formal techniques for Java-like programs, 17th European Conference on Object-Oriented Programming (ECOOP 2003), volume 3013, pp.62–71, 2003
  • S Eisenbach, V Jurisic, C Sadler, E Najm, U Nestmann, P Stevens, Managing the evolution of .NET programs, FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 6th International Conference on Formal Methods for Open Object-Based Distributed Systems, volume 2884, pp.185–198, 2003
  • R. Chatley, S. Eisenbach, J. Magee, Modelling a framework for plugins, Specification and verification of component-based systems, September 2003, 2003
  • M. Barr, S. Eisenbach, Safe upgrading without restarting, International conference on software maintenance, Amsterdam, Netherlands, 2003, pp.129–137, 2003

2002 (6)

  • S Drossopoulou, S Eisenbach, Manifestations of Dynamic Linking, The First Workshop on Unanticipated Software Evolution (USE 2002), Málaga, Spain, 2002
  • S Eisenbach, C Sadler, S Shaikh, J Bishop, Evolution of distributed Java programs, COMPONENT DEPLOYMENT, IFIP/ACM Working Conference on Component Deployment, volume 2370, pp.51–66, 2002
  • G Leavens, A Poetzsch-Heffter, S Eisenbach, S Drossopoulou, E Poll, Formal techniques for Java programs, ECOOP 2001 workshop, Budapest, Hungary, 2001, pp.30–40, 2002
  • GT Leavens, S Drossopoulou, S Eisenbach, A Poetzsch-Heffter, E Poll, Formal Techniques for Java Programs, ECOOP 2001 Workshop, volume 2323, pp.30–40, 2002
  • S Drossopoulou, S Eisenbach, GT Leavens, A Poetzsch-Heffter, E Poll, Formal Techniques for Java-like Programs., ECOOP Workshops, volume 2548, pp.203–210, 2002
  • A. Phillips, S. Eisenbach, D. Lister, From process algebra to Java code, Proceedings of formal techniques for Java-like programs (FTfJP'02), affiliated with ECOOP'02, Malaga, June 2002, 2002

2001 (4)

  • S Eisenbach, GT Leavens, Special issue: Formal techniques for Java programs, CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, volume 13, issue 13, pp.1121–1123, 2001
  • S. Eisenbach, C. Sadler, Changing Java programs, IEEE international conference on software maintenance (ICSM 2001), Florence, Italy, pp.479–487, 2001
  • M. Wyer, S. Eisenbach, Lexis EXam invigilation system (Awarded best applied paper), LISA, Usenix, 15th systems administration conference,, pp.199–210, 2001
  • M Wyer, S Eisenbach, LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!)., LISA, pp.199–210, 2001

2000 (1)

  • S Drossopoulou, S Eisenbach, T Valkevych, Java Type Soundness Revisited, pp.1–90, 2000

1999 (10)

  • Drossopoulou S, Eisenbach S, Khurshid S, The Java Type System is Sound, Theory and Practice of Object Systems, pp.3–24, 1999
  • Drossopoulou S, Eisenbach S, Wragg D, A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility,, Logic in Computer Science (LICS), Trento, 1999
  • S. Eisenbach, K. Meidl, H. Rizkallah, E.C. Lupu, Can Corba save a fringe language from becoming obsolete?, DAIS'99 Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, Helsinki, 1999
  • S Drossopoulou, S Eisenbach, Describing the Semantics of Java and Proving Type Soundness., Formal Syntax and Semantics of Java, volume 1523, pp.41–82, 1999
  • S. Eisenbach, C. Sadler, Ephemeral Java Source Code, IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town, 1999
  • S Drossopoulou, S Eisenbach, S Khurshid, Is the Java type system sound?, THEORY AND PRACTICE OF OBJECT SYSTEMS, volume 5, issue 1, pp.3–24, 1999
  • V. Kotrajaras, S. Eisenbach, Semantics of Threads and Main Memory, Formal Techniques for Java Programs: ECOOP' 99 Workshop, Lisbon, 1999
  • V Kotrajaras, S Eisenbach, Thread and Main Memory Semantics., ECOOP Workshops, volume 1743, pp.106–106, 1999
  • S Drossopoulou, S Eisenbach, Towards an Operational Semantics and Proof of Type Soundness for Java, Formal Syntax and Semantics of Java, Formal Syntax and Semantics of Java, issue 3, 1999
  • S. Drossopoulou, S. Eisenbach, Towards an Operational Semantics of Java and Proof of Soundness of its Type System, Formal Syntax and Semantics of Java, 1999

1998 (4)

  • S Drossopoulou, D Wragg, S Eisenbach, What is Java Binary Compatibility?, OOPSLA 1998, pp.341–361, 1998
  • S Drossopoulou, D Wragg, S Eisenbach, What is Java binary compatibility?, ACM SIGPLAN NOTICES, volume 33, issue 10, pp.341–358, 1998
  • M Radestock, S Eisenbach, Component coordination in middleware systems, IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware 98), pp.225–240, 1998
  • S. Drossopoulou, S. Eisenbach, Towards an Operational Semantics and Proof of Type Soundness in Java, Formal Syntax and Semantics of Java, 1998

1997 (3)

  • S. Drossopoulou, S. Eisenbach, Is the Java Type System Sound?, FOOL 4( Foundations of Object Oriented Languages), Paris, 1997
  • S Drossopoulou, S Eisenbach, Java is type safe - Probably, 11th European Conference on Object-Oriented Programming (ECOOP 97), volume 1241, pp.389–418, 1997
  • S. Drossopoulou, S. Eisenbach, The Java Type System is Sound - Probably, European Conference of Object Oriented programming, Jyvaskyla, Finland, volume LNCS 1241, 1997

1996 (7)

  • M. Radestock, S. Eisenbach, Agent-based Configuration Management, 7th IFIP/IEEE International Workshop on Distributed Systems: Operation and Management, 1996
  • M. Radestock, S. Eisenbach, An Object Model for Distributed and Concurrent Programming Based on Decomposition, Object Orientation with Parallelism and Persistence, 1996
  • M. Radestock, S. Eisenbach, Coordination in Evolving Systems, International Workshop on Trends in Distributed Systems, 1996
  • M. Radestock, S. Eisenbach, Formalizing System Structure, IWSSD-8, 1996
  • M. Radestock, S. Eisenbach, Semantics of a Higher-Order Coordination Language, COORDINATION'96 Cesena, Italy, volume LNCS 1061, pp.339–356, 1996
  • K.B. Broda, S. Eisenbach, Tool Support for Informal Deduction, ACSE'96, Sydney, Australia, 1996
  • K.B. Broda, S. Eisenbach, L. Kamara, Tool Support for Natural Deduction, Proceedings of ACSE96, CACM, 1996

1995 (4)

  • D SPINELLIS, S DROSSOPOULOU, S EISENBACH, OBJECT-ORIENTED TECHNOLOGY IN MULTIPARADIGM LANGUAGE IMPLEMENTATION, JOURNAL OF OBJECT-ORIENTED PROGRAMMING, volume 8, issue 1, pp.33–38, 1995
  • J.N. Magee, N. Dulay, S. Eisenbach, J. Kramer, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference, ESEC '95 , Barcelona, 1995
  • J Magee, J Kramer, S Eisenbach, System Structuring: A Convergence of Theory and Practice?, Dagstuhl International Workshop on Theory and Practice in Distributed Systems, 1995
  • J Magee, S Eisenbach, J Kramer, Modelling Darwin in the pi-calculus, International Workshop on Theory and Practice in Distributed Systems, volume 938, pp.133–152, 1995

1994 (10)

  • D. Spinellis, S. Drossopoulou, S. Eisenbach, An Object Model for Multiparadigm Programming, OOPSLA Workshop on Multi-Language Object Models, 1994
  • D Spinellis, S Eisenbach, S Drossopoulou, Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming, Programming Languages and System Architectures, Programming Languages and System Architectures, International Conference on Programming Languages and System Architectures Zurich, volume 782, pp.191–207, 1994
  • J.N. Magee, S. Eisenbach, J. Kramer, Modelling Darwin in the pi-calculus, International Workshop, International Workshop on Theory and Practice in Distributed Systems, volume LNCS 938, pp.133–152, 1994
  • D. Spinellis, S. Drossopoulou, S. Eisenbach, Multiparadigm Programming through Paradigm Classes, International Conference on Programming Languages and System Architectures Zurich, volume LNCS 782, 1994
  • K.B. Broda, S. Eisenbach, H. Khoshnevisan, S. Vickers, Reasoned Programming, 1994
  • S Eisenbach, J Kramer, JN Magee, Regis-Darwin specified in the p-Calculus, Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), pp.213, 1994
  • S Eisenbach, J Kramer, J Magee, Specifying the Concurrent Programming System Regis in the Pi-Calculus, Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), pp.1–4, 1994
  • K.B. Broda, S. Eisenbach, Teaching Program Reasoning in the First Year, NSF Teaching Formal Methods Workshop, New York, 1994
  • M. Radestock, S. Eisenbach, Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming, PODC, Los Angeles, 1994
  • M. Radestock, S. Eisenbach, What do you get from a p-calculus semantics?, PARLE, Athens, 1994

1993 (2)

  • A FINKELSTEIN, J KRAMER, S ABRAMSKY, K BRODA, S DROSSOPOULOU, S EISENBACH, AN INTEGRATED ENGINEERING STUDY SCHEME IN COMPUTING, COMPUTER JOURNAL, volume 36, issue 4, pp.320–334, 1993
  • R Paterson, S Eisenbach, Pi-calculus semantics for the concurrent configuration language Darwin, 26th Hawaii International Conference on System Sciences, volume 2, pp.456–462, 1993

1991 (1)

1989 (1)

  • S Eisenbach, C Sadler, Program Design with Modula-2, 1989

1988 (1)

1985 (1)

1982 (1)

  • C Sadler, S Eisenbach, Pascal for Programmers, 1982
Delicious Twitter Digg this StumbleUpon Facebook