Susan Eisenbach

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 14

Top Topics

Control Structures

Object Oriented Languages

Cache Conscious

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach
Necessity Specifications for Robustness. CoRR (2022)
Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou
specifications for robustness. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
Holistic Specifications for Robust Programs. FASE (2020)
Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
Reshape your layouts, not your programs: A safe language extension for better cache locality. Sci. Comput. Program. 197 (2020)
Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). ECOOP (2020)
Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
Holistic Specifications for Robust Programs. CoRR (2020)
Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
Implementation of SHAPES Case Studies (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
Safely Abstracting Memory Layouts. CoRR (2019)
Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones
Higher-order type-level programming in Haskell. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach
Flint for Safer Smart Contracts. CoRR (2019)
Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou
Writing safe smart contracts in Flint. Programming (2018)
Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach
Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. ICOOOLPS@ECOOP (2018)
Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach
You can have it all: abstraction and good cache performance. Onward! (2017)
Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP (2017)
Khilan Gudka, Tim Harris, Susan Eisenbach
Lock Inference in the Presence of Large Libraries. ECOOP (2012)
William Sonnex, Sophia Drossopoulou, Susan Eisenbach
Zeno: An Automated Prover for Properties of Recursive Data Structures. TACAS (2012)
Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach
The Environment as an Argument - Context-Aware Functional Programming. PADL (2012)
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, Peter Ross, Paul Wernick, Dewayne E. Perry
In memory of Manny Lehman, 'Father of Software Evolution'. J. Softw. Maintenance Res. Pract. 23 (3) (2011)
Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach
High coverage testing of Haskell programs. ISSTA (2011)
Tristan Oliver Richard Allwood, Susan Eisenbach
Strengthening the Zipper. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Hubert Plociniczak, Susan Eisenbach
JErlang: Erlang with Joins. COORDINATION (2010)
Alexis Petrounias, Susan Eisenbach
Fairness for Chorded Languages. COORDINATION (2009)
John Ayres, Susan Eisenbach
Stage: Python with Actors. IWMSE@ICSE (2009)
Tristan Oliver Richard Allwood, Susan Eisenbach
Tickling Java with a Feather. Electron. Notes Theor. Comput. Sci. 238 (5) (2009)
Alberto E. Schaeffer Filho, Emil C. Lupu, Morris Sloman, Susan Eisenbach
Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. POLICY (2009)
Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach
Finding the needle: stack traces for GHC. Haskell (2009)
Dave Cunningham, Khilan Gudka, Susan Eisenbach
Keep Off the Grass: Locking the Right Path for Atomicity. CC (2008)
Tristan Oliver Richard Allwood, Susan Eisenbach
Clase: cursor library for a structured editor. Haskell (2008)
Susan Eisenbach, Chris Sadler
Reuse and Abuse. J. Object Technol. 6 (1) (2007)
Susan Eisenbach, Chris Sadler, Dominic Wong
Component Adaptation in Contemporary Execution Environments. DAIS (2007)
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368 (1-2) (2006)
Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach
SCHOOL: a Small Chorded Object-Oriented Language. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
Flexible Bytecode for Linking in .NET. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Susan Eisenbach, Dilek Kayhan, Chris Sadler
Keeping Control of Reusable Components. Component Deployment (2004)
Robert Chatley, Susan Eisenbach, Jeff Magee
MagicBeans: a Platform for Deploying Plugin Components. Component Deployment (2004)
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Predictable Dynamic Plugin Systems. FASE (2004)
Andrew Phillips, Nobuko Yoshida, Susan Eisenbach
A Distributed Abstract Machine for Boxed Ambient Calculi. ESOP (2004)
Susan Eisenbach, Vladimir Jurisic, Chris Sadler
Managing the Evolution of .NET Programs. FMOODS (2003)
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
Flexible Models for Dynamic Linking. ESOP (2003)
Miles Barr, Susan Eisenbach
Safe Upgrading without Restarting. ICSM (2003)
Matthias Radestock, Susan Eisenbach
Coordinating components in middleware systems. Concurr. Comput. Pract. Exp. 15 (13) (2003)
Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java-Like Programs. ECOOP Workshops (2003)
J. Fernando Naveda, Donald J. Bagert, Steve Seidman, Jocelyn Armarego, Thomas B. Hilburn, Susan Eisenbach
Developing an Undergraduate Software Engineering Degree. CSEE&T (2003)
Susan Eisenbach, Chris Sadler, Shakil Shaikh
Evolution of Distributed Java Programs. Component Deployment (2002)
Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java-like Programs. ECOOP Workshops (2002)
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java Programs. ECOOP Workshops (2001)
Susan Eisenbach, Gary T. Leavens
Special issue: formal techniques for Java programs. Concurr. Comput. Pract. Exp. 13 (13) (2001)
Susan Eisenbach, Chris Sadler
Changing Java Programs. ICSM (2001)
Mike Wyer, Susan Eisenbach
LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!). LISA (2001)
Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
Formal Techniques for Java Programs. ECOOP Workshops (2000)
Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
Is the Java Type System Sound? Theory Pract. Object Syst. 5 (1) (1999)
Susan Eisenbach, Chris Sadler
Ephemeral Java Source Code. FTDCS (1999)
Sophia Drossopoulou, Susan Eisenbach, David Wragg
A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS (1999)
Sophia Drossopoulou, Susan Eisenbach
Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java (1999)
Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah
Can Corba save a fringe language from becoming obsolete? DAIS (1999)
Vishnu Kotrajaras, Susan Eisenbach
Thread and Main Memory Semantics. ECOOP Workshops (1999)
Susan Eisenbach
Formal underpinnings of Java. OOPSLA Addendum (1998)
Sophia Drossopoulou, David Wragg, Susan Eisenbach
What is Java Binary Compatibility? OOPSLA (1998)
Sophia Drossopoulou, Susan Eisenbach
Java is Type Safe - Probably. ECOOP (1997)
Matthias Radestock, Susan Eisenbach
Formalizing System Structure. IWSSD (1996)
Matthias Radestock, Susan Eisenbach
Coordination in Evolving Systems. TreDS (1996)
Matthias Radestock, Susan Eisenbach
Semantics of a Higher-Order Coordination Language. COORDINATION (1996)
Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara
Tool support for informal deduction. ACSE (1996)
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
Object-Oriented Technology in Multiparadigm Language Implementation. J. Object Oriented Program. 8 (1) (1995)
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
Specifying Distributed Software Architectures. ESEC (1995)
Matthias Radestock, Susan Eisenbach
An Object Model for Distributed and Concurrent Programming Based on Decomposition. Object Orientation with Parallelism and Persistence (1995)
Susan Eisenbach, Jeff Kramer, Jeff N. Magee
REGIS-DARWIN specified in the π-calculus. CDS (1994)
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures (1994)
Jeff Magee, Susan Eisenbach, Jeff Kramer
Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems (1994)
Matthias Radestock, Susan Eisenbach
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. PODC (1994)
Matthias Radestock, Susan Eisenbach
What Do You get From a Pi-Calculus Semantics? PARLE (1994)
Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
An Integrated Engineering Study Scheme in Computing. Comput. J. 36 (4) (1993)
Sophia Drossopoulou, Ross Paterson, Susan Eisenbach
Parameterized Interfaces are Interfaces - AIAS. Declarative Programming (1991)
Susan Eisenbach, Lee McLoughlin, Chris Sadler
Data-flow design as a visual programming language. IWSSD (1989)