Susan Eisenbach

	2012
56		Pedro M. Martins, Julie A. McCann, Susan Eisenbach: The Environment as an Argument - Context-Aware Functional Programming. PADL 2012: 48-62
55		William Sonnex, Sophia Drossopoulou, Susan Eisenbach: Zeno: An Automated Prover for Properties of Recursive Data Structures. TACAS 2012: 407-421
	2011
54		Tristan O. R. Allwood, Cristian Cadar, Susan Eisenbach: High coverage testing of Haskell programs. ISSTA 2011: 375-385
53		Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Darren Dalcher, Peter Ross, Paul Wernick, Dewayne E. Perry: In memory of Manny Lehman, 'Father of Software Evolution'. Journal of Software Maintenance 23(3): 137-144 (2011)
	2010
52		Hubert Plociniczak, Susan Eisenbach: JErlang: Erlang with Joins. COORDINATION 2010: 61-75
51		Tristan O. R. Allwood, Susan Eisenbach: Strengthening the Zipper. Electr. Notes Theor. Comput. Sci. 253(7): 3-18 (2010)
	2009
50		Alexis Petrounias, Susan Eisenbach: Fairness for Chorded Languages. COORDINATION 2009: 86-105
49		Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach: Finding the needle: stack traces for GHC. Haskell 2009: 129-140
48		Alberto E. Schaeffer Filho, Emil C. Lupu, Morris Sloman, Susan Eisenbach: Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. POLICY 2009: 37-40
47		Tristan O. R. Allwood, Susan Eisenbach: Tickling Java with a Feather. Electr. Notes Theor. Comput. Sci. 238(5): 3-16 (2009)
	2008
46		Dave Cunningham, Khilan Gudka, Susan Eisenbach: Keep Off the Grass: Locking the Right Path for Atomicity. CC 2008: 276-290
45		Tristan O. R. Allwood, Susan Eisenbach: Clase: cursor library for a structured editor. Haskell 2008: 123-124
	2007
44		Susan Eisenbach, Chris Sadler, Dominic Wong: Component Adaptation in Contemporary Execution Environments. DAIS 2007: 90-103
43		Susan Eisenbach, Chris Sadler: Reuse and Abuse. Journal of Object Technology 6(1): 139-167 (2007)
	2006
42		Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach: SCHOOL: a Small Chorded Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 135(3): 37-47 (2006)
41		Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368(1-2): 1-29 (2006)
	2005
40		Alan Dearle, Susan Eisenbach: Component Deployment, Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings Springer 2005
39		Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou: Flexible Bytecode for Linking in .NET. Electr. Notes Theor. Comput. Sci. 141(1): 75-92 (2005)
	2004
38		Susan Eisenbach, Dilek Kayhan, Chris Sadler: Keeping Control of Reusable Components. Component Deployment 2004: 144-158
37		Robert Chatley, Susan Eisenbach, Jeff Magee: MagicBeans: a Platform for Deploying Plugin Components. Component Deployment 2004: 97-112
36		Andrew Phillips, Nobuko Yoshida, Susan Eisenbach: A Distributed Abstract Machine for Boxed Ambient Calculi. ESOP 2004: 155-170
35		Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. FASE 2004: 129-143
	2003
34		J. Fernando Naveda, Donald J. Bagert, Steve Seidman, Jocelyn Armarego, Thomas B. Hilburn, Susan Eisenbach: Developing an Undergraduate Software Engineering Degree. CSEE&T 2003: 318-
33		Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
32		Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: Flexible Models for Dynamic Linking. ESOP 2003: 38-53
31		Susan Eisenbach, Vladimir Jurisic, Chris Sadler: Managing the Evolution of .NET Programs. FMOODS 2003: 185-198
30		Miles Barr, Susan Eisenbach: Safe Upgrading without Restarting. ICSM 2003: 129-137
29		Matthias Radestock, Susan Eisenbach: Coordinating components in middleware systems. Concurrency and Computation: Practice and Experience 15(13): 1205-1231 (2003)
	2002
28		Susan Eisenbach, Chris Sadler, Shakil Shaikh: Evolution of Distributed Java Programs. Component Deployment 2002: 51-66
27		Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
	2001
26		Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
25		Susan Eisenbach, Chris Sadler: Changing Java Programs. ICSM 2001: 479-487
24		Mike Wyer, Susan Eisenbach: LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!). LISA 2001: 199-210
23		Susan Eisenbach, Gary T. Leavens: Special issue: formal techniques for Java programs. Concurrency and Computation: Practice and Experience 13(13): 1121-1123 (2001)
	2000
22		Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
	1999
21		Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah: Can Corba save a fringe language from becoming obsolete? DAIS 1999: 272-286
20		Vishnu Kotrajaras, Susan Eisenbach: Thread and Main Memory Semantics. ECOOP Workshops 1999: 106
19		Susan Eisenbach, Chris Sadler: Ephemeral Java Source Code. FTDCS 1999: 9-14
18		Sophia Drossopoulou, Susan Eisenbach: Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java 1999: 41-82
17		Sophia Drossopoulou, Susan Eisenbach, David Wragg: A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS 1999: 147-156
16		Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid: Is the Java Type System Sound? TAPOS 5(1): 3-24 (1999)
	1998
15		Sophia Drossopoulou, David Wragg, Susan Eisenbach: What is Java Binary Compatibility? OOPSLA 1998: 341-361
	1997
14		Sophia Drossopoulou, Susan Eisenbach: Java is Type Safe - Probably. ECOOP 1997: 389-418
	1996
13		Krysia Broda, Susan Eisenbach, Lloyd Kamara: Tool support for informal deduction. ACSE 1996: 119-126
12		Matthias Radestock, Susan Eisenbach: Semantics of a Higher-Order Coordination Language. COORDINATION 1996: 339-356
11		Matthias Radestock, Susan Eisenbach: Coordination in Evolving Systems. TreDS 1996: 162-176
	1995
10		Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer: Specifying Distributed Software Architectures. ESEC 1995: 137-153
9		Matthias Radestock, Susan Eisenbach: An Object Model for Distributed and Concurrent Programming Based on Decomposition. Object Orientation with Parallelism and Persistence 1995: 63-82
8		Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach: Object-Oriented Technology in Multiparadigm Language Implementation. JOOP 8(1): 33-38 (1995)
	1994
7		Susan Eisenbach, Jeff Kramer, Jeff N. Magee: REGIS-DARWIN specified in the π-calculus. CDS 1994: 213
6		Jeff Magee, Susan Eisenbach, Jeff Kramer: Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152
5		Matthias Radestock, Susan Eisenbach: What Do You get From a Pi-Calculus Semantics? PARLE 1994: 635-647
4		Matthias Radestock, Susan Eisenbach: Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. PODC 1994: 383
3		Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach: Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures 1994: 191-207
	1993
2		Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach: An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993)
	1991
1		Sophia Drossopoulou, Ross Paterson, Susan Eisenbach: Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147

Coauthor Index

1	Samson Abramsky	[2]
2	Tristan O. R. Allwood	[45] [47] [49] [51] [54]
3	Jocelyn Armarego	[34]
4	Donald J. Bagert	[34]
5	Miles Barr	[30]
6	Victor R. Basili	[53]
7	Keith H. Bennett	[53]
8	Barry W. Boehm	[53]
9	Krysia Broda	[2] [13]
10	Alex Buckley	[39] [42]
11	Elizabeth Burd (Liz Burd)	[53]
12	Cristian Cadar	[54]
13	Gerardo Canfora	[53]
14	Robert Chatley	[35] [37]
15	Dave Cunningham	[46]
16	Darren Dalcher	[53]
17	Alan Dearle	[40]
18	Sophia Drossopoulou	[1] [2] [3] [8] [14] [15] [16] [17] [18] [22] [26] [27] [32] [39] [41] [42] [53] [55]
19	Naranker Dulay	[10]
20	Juan Fernández-Ramil (Juan F. Ramil)	[53]
21	Alberto E. Schaeffer Filho	[48]
22	Anthony Finkelstein	[2]
23	Khilan Gudka	[46]
24	Thomas B. Hilburn	[34]
25	Bart Jacobs	[22]
26	Simon L. Peyton Jones	[49]
27	Vladimir Jurisic	[31]
28	Lloyd Kamara	[13]
29	Dilek Kayhan	[38]
30	Sarfraz Khurshid	[16]
31	Vishnu Kotrajaras	[20]
32	Jeff Kramer (Jeffrey Kramer)	[2] [6] [7] [10] [35]
33	Giovanni Lagorio	[32] [41]
34	Gary T. Leavens	[22] [23] [26] [27] [33]
35	Emil C. Lupu (Emil Lupu)	[21] [48]
36	Jeff Magee (Jeff N. Magee)	[6] [7] [10] [35] [37]
37	Pedro M. Martins	[56]
38	Julie A. McCann	[56]
39	Karen Meidl	[21]
40	Greg Michaelson	[53]
41	Peter Müller	[22] [33]
42	Malcolm Munro	[53]
43	Michelle Murray	[39]
44	J. Fernando Naveda	[34]
45	Ross Paterson	[1]
46	Dewayne E. Perry	[53]
47	Alexis Petrounias	[42] [50]
48	Andrew Phillips	[36]
49	Hubert Plociniczak	[52]
50	Arnd Poetzsch-Heffter	[22] [26] [27] [33]
51	Erik Poll	[26] [27] [33]
52	Matthias Radestock	[4] [5] [9] [11] [12] [29]
53	David Raffo (David M. Raffo)	[53]
54	Václav Rajlich (Vaclav Rajlich)	[53]
55	Hani Rizkallah	[21]
56	Peter Ross	[53]
57	Chris Sadler	[19] [25] [28] [31] [38] [43] [44]
58	Steve Seidman	[34]
59	Shakil Shaikh	[28]
60	Morris Sloman	[48]
61	William Sonnex	[55]
62	Diomidis Spinellis	[3] [8]
63	Sebastián Uchitel	[35]
64	Paul Wernick	[53]
65	Dominic Wong	[44]
66	David Wragg	[15] [17]
67	Mike Wyer	[24]
68	Nobuko Yoshida	[36]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page