Susan Eisenbach

According to our database, Susan Eisenbach authored at least 75 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Necessity Specifications for Robustness.

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach

Dataset, September, 2022

<i>Necessity</i> specifications for robustness.

Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou

Proc. ACM Program. Lang., 2022

Necessity Specifications for Robustness.

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach

CoRR, 2022

2020

Holisitic Specifications for Robust Programs - Coq Model.

Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach

Dataset, February, 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

Implementation of SHAPES Case Studies (Artifact).

Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach

Dagstuhl Artifacts Ser., 2020

Holistic Specifications for Robust Programs.

Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach

Proceedings of the Fundamental Approaches to Software Engineering, 2020

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

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Higher-order type-level programming in Haskell.

Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones

Proc. ACM Program. Lang., 2019

Flint for Safer Smart Contracts.

Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach

CoRR, 2019

Safely Abstracting Memory Layouts.

Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach

CoRR, 2019

2018

Writing safe smart contracts in Flint.

Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

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

Proceedings of the 13th Workshop on Implementation, 2018

2017

You can have it all: abstraction and good cache performance.

Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.

Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2017

2012

Zeno: An Automated Prover for Properties of Recursive Data Structures.

William Sonnex, Sophia Drossopoulou, Susan Eisenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

The Environment as an Argument - Context-Aware Functional Programming.

Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach

Proceedings of the Practical Aspects of Declarative Languages, 2012

Lock Inference in the Presence of Large Libraries.

Khilan Gudka, Tim Harris, Susan Eisenbach

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

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, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry

J. Softw. Maintenance Res. Pract., 2011

High coverage testing of Haskell programs.

Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

JErlang: Erlang with Joins.

Hubert Plociniczak, Susan Eisenbach

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Strengthening the Zipper.

Tristan Oliver Richard Allwood, Susan Eisenbach

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Verification of Policy-Based Self-Managed Cell Interactions Using Alloy.

Alberto E. Schaeffer Filho, Emil C. Lupu, Morris Sloman, Susan Eisenbach

Proceedings of the POLICY 2009, 2009

Stage: Python with Actors.

John Ayres, Susan Eisenbach

Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

Finding the needle: stack traces for GHC.

Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Fairness for Chorded Languages.

Alexis Petrounias, Susan Eisenbach

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Tickling Java with a Feather.

Tristan Oliver Richard Allwood, Susan Eisenbach

Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

Clase: cursor library for a structured editor.

Tristan Oliver Richard Allwood, Susan Eisenbach

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Keep Off the Grass: Locking the Right Path for Atomicity.

Dave Cunningham, Khilan Gudka, Susan Eisenbach

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Reuse and Abuse.

Susan Eisenbach, Chris Sadler

J. Object Technol., 2007

Component Adaptation in Contemporary Execution Environments.

Susan Eisenbach, Chris Sadler, Dominic Wong

Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006

A flexible model for dynamic linking in Java and C#.

Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach

Theor. Comput. Sci., 2006

2005

SCHOOL: a Small Chorded Object-Oriented Language.

Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Flexible Bytecode for Linking in .NET.

Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou

Proceedings of the First Workshop on Bytecode Semantics, 2005

2004

Predictable Dynamic Plugin Systems.

Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2004

A Distributed Abstract Machine for Boxed Ambient Calculi.

Andrew Phillips, Nobuko Yoshida, Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2004

Keeping Control of Reusable Components.

Susan Eisenbach, Dilek Kayhan, Chris Sadler

Proceedings of the Component Deployment, Second International Working Conference, 2004

MagicBeans: a Platform for Deploying Plugin Components.

Robert Chatley, Susan Eisenbach, Jeff Magee

Proceedings of the Component Deployment, Second International Working Conference, 2004

2003

Coordinating components in middleware systems.

Matthias Radestock, Susan Eisenbach

Concurr. Comput. Pract. Exp., 2003

Safe Upgrading without Restarting.

Miles Barr, Susan Eisenbach

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Managing the Evolution of .NET Programs.

Susan Eisenbach, Vladimir Jurisic, Chris Sadler

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Flexible Models for Dynamic Linking.

Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2003

Formal Techniques for Java-Like Programs.

Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

Developing an Undergraduate Software Engineering Degree.

J. Fernando Naveda, Donald J. Bagert, Steve Seidman, Jocelyn Armarego, Thomas B. Hilburn, Susan Eisenbach

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

2002

Formal Techniques for Java-like Programs.

Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology, 2002

Evolution of Distributed Java Programs.

Susan Eisenbach, Chris Sadler, Shakil Shaikh

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

2001

Special issue: formal techniques for Java programs.

Susan Eisenbach, Gary T. Leavens

Concurr. Comput. Pract. Exp., 2001

LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!).

Mike Wyer, Susan Eisenbach

Proceedings of the 15th Conference on Systems Administration (LISA 2001), 2001

Changing Java Programs.

Susan Eisenbach, Chris Sadler

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Formal Techniques for Java Programs.

Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000

Formal Techniques for Java Programs.

Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, 2000

1999

Is the Java Type System Sound?

Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid

Theory Pract. Object Syst., 1999

A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.

Sophia Drossopoulou, Susan Eisenbach, David Wragg

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Describing the Semantics of Java and Proving Type Soundness.

Sophia Drossopoulou, Susan Eisenbach

Proceedings of the Formal Syntax and Semantics of Java, 1999

Ephemeral Java Source Code.

Susan Eisenbach, Chris Sadler

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Thread and Main Memory Semantics.

Vishnu Kotrajaras, Susan Eisenbach

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Can Corba save a fringe language from becoming obsolete?

Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Formal underpinnings of Java.

Susan Eisenbach

Proceedings of the Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, 1998

What is Java Binary Compatibility?

Sophia Drossopoulou, David Wragg, Susan Eisenbach

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997

Java is Type Safe - Probably.

Sophia Drossopoulou, Susan Eisenbach

Proceedings of the ECOOP'97, 1997

1996

Coordination in Evolving Systems.

Matthias Radestock, Susan Eisenbach

Proceedings of the Trends in Distributed Systems: CORBA and Beyond, 1996

Formalizing System Structure.

Matthias Radestock, Susan Eisenbach

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Semantics of a Higher-Order Coordination Language.

Matthias Radestock, Susan Eisenbach

Proceedings of the Coordination Languages and Models, First International Conference, 1996

Tool support for informal deduction.

Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

Object-Oriented Technology in Multiparadigm Language Implementation.

Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach

J. Object Oriented Program., 1995

Specifying Distributed Software Architectures.

Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer

Proceedings of the 5th European Software Engineering Conference, 1995

An Object Model for Distributed and Concurrent Programming Based on Decomposition.

Matthias Radestock, Susan Eisenbach

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

1994

Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming.

Matthias Radestock, Susan Eisenbach

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Language and Architecture Paradigms as Object Classes.

Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach

Proceedings of the Programming Languages and System Architectures, 1994

What Do You get From a Pi-Calculus Semantics?

Matthias Radestock, Susan Eisenbach

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Modelling Darwin in the Pi-Caculus.

Jeff Magee, Susan Eisenbach, Jeff Kramer

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

REGIS-DARWIN specified in the π-calculus.

Susan Eisenbach, Jeff Kramer, Jeff N. Magee

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993

An Integrated Engineering Study Scheme in Computing.

Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach

Comput. J., 1993

1991

Parameterized Interfaces are Interfaces - AIAS.

Sophia Drossopoulou, Ross Paterson, Susan Eisenbach

Proceedings of the Declarative Programming, 1991

1989

Data-flow design as a visual programming language.

Susan Eisenbach, Lee McLoughlin, Chris Sadler

Proceedings of the 5th International Workshop on Software Specification and Design, 1989