Data-flow design as a visual programming language. - Susan Eisenbach; Lee McLoughlin; Chris Sadler (IWSSD, 1989)

Parameterized Interfaces are Interfaces - AIAS. - Sophia Drossopoulou; Ross Paterson; Susan Eisenbach (Declarative Programming, 1991)

An Integrated Engineering Study Scheme in Computing. - Anthony Finkelstein; Jeff Kramer; Samson Abramsky; Krysia Broda; Sophia Drossopoulou; Susan Eisenbach (Comput. J., 1993)

REGIS-DARWIN specified in the π-calculus. - Susan Eisenbach; Jeff Kramer; Jeff N. Magee (CDS, 1994)

Modelling Darwin in the Pi-Caculus. - Jeff Magee; Susan Eisenbach; Jeff Kramer (Dagstuhl Seminar on Distributed Systems, 1994)

What Do You get From a Pi-Calculus Semantics? - Matthias Radestock; Susan Eisenbach (PARLE, 1994)

Language and Architecture Paradigms as Object Classes. - Diomidis Spinellis; Sophia Drossopoulou; Susan Eisenbach (Programming Languages and System Architectures, 1994)

Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. - Matthias Radestock; Susan Eisenbach (PODC, 1994)

An Object Model for Distributed and Concurrent Programming Based on Decomposition. - Matthias Radestock; Susan Eisenbach (Object Orientation with Parallelism and Persistence, 1995)

Specifying Distributed Software Architectures. - Jeff Magee; Naranker Dulay; Susan Eisenbach; Jeff Kramer (ESEC, 1995)

Object-Oriented Technology in Multiparadigm Language Implementation. - Diomidis Spinellis; Sophia Drossopoulou; Susan Eisenbach (J. Object Oriented Program., 1995)

Tool support for informal deduction. - Krysia Broda; Susan Eisenbach; Lloyd Daniel Kamara (ACSE, 1996)

Semantics of a Higher-Order Coordination Language. - Matthias Radestock; Susan Eisenbach (COORDINATION, 1996)

Formalizing System Structure. - Matthias Radestock; Susan Eisenbach (IWSSD, 1996)

Coordination in Evolving Systems. - Matthias Radestock; Susan Eisenbach (TreDS, 1996)

Java is Type Safe - Probably. - Sophia Drossopoulou; Susan Eisenbach (ECOOP, 1997)

What is Java Binary Compatibility? - Sophia Drossopoulou; David Wragg; Susan Eisenbach (OOPSLA, 1998)

Formal underpinnings of Java. - Susan Eisenbach (OOPSLA Addendum, 1998)

Can Corba save a fringe language from becoming obsolete? - Susan Eisenbach; Emil Lupu; Karen Meidl; Hani Rizkallah (DAIS, 1999)

Thread and Main Memory Semantics. - Vishnu Kotrajaras; Susan Eisenbach (ECOOP Workshops, 1999)

Ephemeral Java Source Code. - Susan Eisenbach; Chris Sadler (FTDCS, 1999)

Describing the Semantics of Java and Proving Type Soundness. - Sophia Drossopoulou; Susan Eisenbach (Formal Syntax and Semantics of Java, 1999)

A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. - Sophia Drossopoulou; Susan Eisenbach; David Wragg (LICS, 1999)

Is the Java Type System Sound? - Sophia Drossopoulou; Susan Eisenbach; Sarfraz Khurshid (Theory Pract. Object Syst., 1999)

Formal Techniques for Java Programs. - Sophia Drossopoulou; Susan Eisenbach; Bart Jacobs 001; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 2000)

Formal Techniques for Java Programs. - Gary T. Leavens; Sophia Drossopoulou; Susan Eisenbach; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2001)

Changing Java Programs. - Susan Eisenbach; Chris Sadler (ICSM, 2001)

LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!). - Mike Wyer; Susan Eisenbach (LISA, 2001)

Special issue: formal techniques for Java programs. - Susan Eisenbach; Gary T. Leavens (Concurr. Comput. Pract. Exp., 2001)

Evolution of Distributed Java Programs. - Susan Eisenbach; Chris Sadler; Shakil Shaikh (Component Deployment, 2002)

Formal Techniques for Java-like Programs. - Sophia Drossopoulou; Susan Eisenbach; Gary T. Leavens; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2002)

Developing an Undergraduate Software Engineering Degree. - J. Fernando Naveda; Donald J. Bagert; Steve Seidman; Jocelyn Armarego; Thomas B. Hilburn; Susan Eisenbach (CSEE&T, 2003)

Formal Techniques for Java-Like Programs. - Susan Eisenbach; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2003)

Flexible Models for Dynamic Linking. - Sophia Drossopoulou; Giovanni Lagorio; Susan Eisenbach (ESOP, 2003)

Managing the Evolution of .NET Programs. - Susan Eisenbach; Vladimir Jurisic; Chris Sadler (FMOODS, 2003)

Safe Upgrading without Restarting. - Miles Barr; Susan Eisenbach (ICSM, 2003)

Coordinating components in middleware systems. - Matthias Radestock; Susan Eisenbach (Concurr. Comput. Pract. Exp., 2003)

MagicBeans: a Platform for Deploying Plugin Components. - Robert Chatley; Susan Eisenbach; Jeff Magee (Component Deployment, 2004)

Keeping Control of Reusable Components. - Susan Eisenbach; Dilek Kayhan; Chris Sadler (Component Deployment, 2004)

A Distributed Abstract Machine for Boxed Ambient Calculi. - Andrew Phillips; Nobuko Yoshida; Susan Eisenbach (ESOP, 2004)

Predictable Dynamic Plugin Systems. - Robert Chatley; Susan Eisenbach; Jeff Kramer; Jeff Magee; Sebastián Uchitel (FASE, 2004)

Flexible Bytecode for Linking in .NET. - Alex Buckley; Michelle Murray; Susan Eisenbach; Sophia Drossopoulou (Bytecode@ETAPS, 2005)

SCHOOL: a Small Chorded Object-Oriented Language. - Sophia Drossopoulou; Alexis Petrounias; Alex Buckley; Susan Eisenbach (DCM@ICALP, 2005)

A flexible model for dynamic linking in Java and C#. - Sophia Drossopoulou; Giovanni Lagorio; Susan Eisenbach (Theor. Comput. Sci., 2006)

Component Adaptation in Contemporary Execution Environments. - Susan Eisenbach; Chris Sadler; Dominic Wong (DAIS, 2007)

Reuse and Abuse. - Susan Eisenbach; Chris Sadler (J. Object Technol., 2007)

Keep Off the Grass: Locking the Right Path for Atomicity. - Dave Cunningham; Khilan Gudka; Susan Eisenbach (CC, 2008)

Clase: cursor library for a structured editor. - Tristan Oliver Richard Allwood; Susan Eisenbach (Haskell, 2008)

Tickling Java with a Feather. - Tristan Oliver Richard Allwood; Susan Eisenbach (LDTA, 2008)

Fairness for Chorded Languages. - Alexis Petrounias; Susan Eisenbach (COORDINATION, 2009)

Finding the needle: stack traces for GHC. - Tristan Oliver Richard Allwood; Simon L. Peyton Jones; Susan Eisenbach (Haskell, 2009)

Stage: Python with Actors. - John Ayres; Susan Eisenbach (IWMSE@ICSE, 2009)

Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. - Alberto E. Schaeffer Filho; Emil C. Lupu; Morris Sloman; Susan Eisenbach (POLICY, 2009)

Strengthening the Zipper. - Tristan Oliver Richard Allwood; Susan Eisenbach (LDTA, 2009)

JErlang: Erlang with Joins. - Hubert Plociniczak; Susan Eisenbach (COORDINATION, 2010)

High coverage testing of Haskell programs. - Tristan Oliver Richard Allwood; Cristian Cadar; Susan Eisenbach (ISSTA, 2011)

In memory of Manny Lehman, 'Father of Software Evolution'. - 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; et al. (J. Softw. Maintenance Res. Pract., 2011)

Lock Inference in the Presence of Large Libraries. - Khilan Gudka; Tim Harris 001; Susan Eisenbach (ECOOP, 2012)

The Environment as an Argument - Context-Aware Functional Programming. - Pedro M. N. Martins; Julie A. McCann; Susan Eisenbach (PADL, 2012)

Zeno: An Automated Prover for Properties of Recursive Data Structures. - William Sonnex; Sophia Drossopoulou; Susan Eisenbach (TACAS, 2012)

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. - Tim Wood 004; Sophia Drossopoulou; Shuvendu K. Lahiri; Susan Eisenbach (ESOP, 2017)

You can have it all: abstraction and good cache performance. - Juliana Franco; Martin Hagelin; Tobias Wrigstad; Sophia Drossopoulou; Susan Eisenbach (Onward!, 2017)

Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. - Alexandros Tasos; Juliana Franco; Tobias Wrigstad; Sophia Drossopoulou; Susan Eisenbach (ICOOOLPS@ECOOP, 2018)

Writing safe smart contracts in Flint. - Franklin Schrans; Susan Eisenbach; Sophia Drossopoulou (Programming, 2018)

Safely Abstracting Memory Layouts. - Juliana Franco; Alexandros Tasos; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (CoRR, 2019)

Flint for Safer Smart Contracts. - Franklin Schrans; Daniel Hails; Alexander Harkness; Sophia Drossopoulou; Susan Eisenbach (CoRR, 2019)

Higher-order type-level programming in Haskell. - Csongor Kiss; Tony Field; Susan Eisenbach; Simon Peyton Jones (Proc. ACM Program. Lang., 2019)

Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). - Alexandros Tasos; Juliana Franco; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (ECOOP, 2020)

Holistic Specifications for Robust Programs. - Sophia Drossopoulou; James Noble 001; Julian Mackay; Susan Eisenbach (FASE, 2020)

Implementation of SHAPES Case Studies (Artifact). - Alexandros Tasos; Juliana Franco; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (Dagstuhl Artifacts Ser., 2020)

Reshape your layouts, not your programs: A safe language extension for better cache locality. - Alexandros Tasos; Juliana Franco; Sophia Drossopoulou; Tobias Wrigstad; Susan Eisenbach (Sci. Comput. Program., 2020)

Holisitic Specifications for Robust Programs - Coq Model. - Sophia Drossopoulou; James Noble 001; Julian Mackay; Susan Eisenbach (Zenodo, 2020)

Necessity Specifications for Robustness. - Julian Mackay; Sophia Drossopoulou; James Noble 001; Susan Eisenbach (CoRR, 2022)

Necessity specifications for robustness. - Julian Mackay; Susan Eisenbach; James Noble 001; Sophia Drossopoulou (Proc. ACM Program. Lang., 2022)

Necessity Specifications for Robustness. - Julian Mackay; Sophia Drossopoulou; James Noble 001; Susan Eisenbach (Zenodo, 2022)

Reasoning about External Calls. - Sophia Drossopoulou; Julian Mackay; Susan Eisenbach; James Noble 001 (CoRR, 2025)