Susan Eisenbach
Susan Eisenbach
Professor of Computing, Imperial College London
Verified email at imperial.ac.uk
Title
Cited by
Cited by
Year
Specifying distributed software architectures
J Magee, N Dulay, S Eisenbach, J Kramer
European Software Engineering Conference, 137-153, 1995
12591995
Java is type safe—probably
S Drossopoulou, S Eisenbach
European Conference on Object-Oriented Programming, 389-418, 1997
1771997
Is the Java type system sound?
S Drossopoulou, S Eisenbach, S Khurshid
Theory and practice of object systems 5 (1), 3-24, 1999
1471999
Describing the semantics of Java and proving type soundness
S Drossopoulou, S Eisenbach
Formal Syntax and Semantics of Java, 41-80, 1999
1001999
What is Java binary compatibility?
S Drossopoulou, D Wragg, S Eisenbach
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998
731998
A fragment calculus-towards a model of separate compilation, linking and binary compatibility
S Drossopoulou, S Eisenbach, D Wragg
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
691999
Coordination in evolving systems
M Radestock, S Eisenbach
International Workshop on Trends in Distributed Systems, 162-176, 1996
691996
Zeno: An automated prover for properties of recursive data structures
W Sonnex, S Drossopoulou, S Eisenbach
International Conference on Tools and Algorithms for the Construction and …, 2012
652012
Universes for race safety
D Cunningham, S Eisenbach, S Drossopoulou
512007
Flexible models for dynamic linking
S Drossopoulou, G Lagorio, S Eisenbach
European Symposium on Programming, 38-53, 2003
512003
Functional programming: languages, tools, and architectures
S Eisenbach
Halsted Press, 1987
491987
Java type soundness revisited
S Drossopoulou, S Eisenbach, T Valkevych
Imperial College London, Department of Computing, 2000
472000
A distributed abstract machine for boxed ambient calculi
A Phillips, N Yoshida, S Eisenbach
European Symposium on Programming, 155-170, 2004
412004
MagicBeans: a platform for deploying plugin components
R Chatley, S Eisenbach, J Magee
International Working Conference on Component Deployment, 97-112, 2004
402004
pi-calculus semantics for the concurrent configuration language Darwin
S Eisenbach, R Paterson
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993
381993
Chopped symbolic execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
Proceedings of the 40th International Conference on Software Engineering …, 2018
362018
Predictable dynamic plugin systems
R Chatley, S Eisenbach, J Kramer, J Magee, S Uchitel
International Conference on Fundamental Approaches to Software Engineering …, 2004
362004
JErlang: Erlang with joins
H Plociniczak, S Eisenbach
International Conference on Coordination Languages and Models, 61-75, 2010
342010
Modelling a framework for plugins
R Chatley, S Eisenbach, J Magee
SAVCBS 2003 Specification and Verification of Component-Based Systems, 49, 2003
342003
Session types in Haskell: Updating message passing for the 21st century
M Sackman, S Eisenbach
332008
The system can't perform the operation now. Try again later.
Articles 1–20