![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Susan Eisenbach
Person information
- affiliation: Imperial College London, UK
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j12]Julian Mackay
, Susan Eisenbach
, James Noble
, Sophia Drossopoulou
:
Necessity specifications for robustness. Proc. ACM Program. Lang. 6(OOPSLA2): 811-840 (2022) - [i4]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. CoRR abs/2209.08205 (2022) - 2020
- [j11]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Implementation of SHAPES Case Studies (Artifact). Dagstuhl Artifacts Ser. 6(2): 19:1-19:3 (2020) - [j10]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: 102481 (2020) - [c58]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: 31:1-31:3 - [c57]Sophia Drossopoulou
, James Noble
, Julian Mackay
, Susan Eisenbach
:
Holistic Specifications for Robust Programs. FASE 2020: 420-440 - [i3]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. CoRR abs/2002.08334 (2020)
2010 – 2019
- 2019
- [j9]Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones:
Higher-order type-level programming in Haskell. Proc. ACM Program. Lang. 3(ICFP): 102:1-102:26 (2019) - [i2]Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Safely Abstracting Memory Layouts. CoRR abs/1901.08006 (2019) - [i1]Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach:
Flint for Safer Smart Contracts. CoRR abs/1904.06534 (2019) - 2018
- [c56]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: 23-29 - [c55]Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou:
Writing safe smart contracts in Flint. Programming 2018: 218-219 - 2017
- [c54]Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach:
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP 2017: 937-963 - [c53]Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach:
You can have it all: abstraction and good cache performance. Onward! 2017: 148-167 - 2012
- [c52]Khilan Gudka, Tim Harris, Susan Eisenbach:
Lock Inference in the Presence of Large Libraries. ECOOP 2012: 308-332 - [c51]Pedro M. N. Martins
, Julie A. McCann, Susan Eisenbach:
The Environment as an Argument - Context-Aware Functional Programming. PADL 2012: 48-62 - [c50]William Sonnex, Sophia Drossopoulou, Susan Eisenbach:
Zeno: An Automated Prover for Properties of Recursive Data Structures. TACAS 2012: 407-421 - 2011
- [j8]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): 137-144 (2011) - [c49]Tristan Oliver Richard Allwood, Cristian Cadar
, Susan Eisenbach:
High coverage testing of Haskell programs. ISSTA 2011: 375-385 - 2010
- [c48]Hubert Plociniczak, Susan Eisenbach:
JErlang: Erlang with Joins. COORDINATION 2010: 61-75
2000 – 2009
- 2009
- [c47]Alexis Petrounias, Susan Eisenbach:
Fairness for Chorded Languages. COORDINATION 2009: 86-105 - [c46]Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach:
Finding the needle: stack traces for GHC. Haskell 2009: 129-140 - [c45]John Ayres, Susan Eisenbach:
Stage: Python with Actors. IWMSE@ICSE 2009: 25-32 - [c44]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 - [c43]Tristan Oliver Richard Allwood, Susan Eisenbach:
Strengthening the Zipper. LDTA 2009: 3-18 - 2008
- [c42]Dave Cunningham, Khilan Gudka, Susan Eisenbach:
Keep Off the Grass: Locking the Right Path for Atomicity. CC 2008: 276-290 - [c41]Tristan Oliver Richard Allwood, Susan Eisenbach:
Clase: cursor library for a structured editor. Haskell 2008: 123-124 - [c40]Tristan Oliver Richard Allwood, Susan Eisenbach:
Tickling Java with a Feather. LDTA 2008: 3-16 - 2007
- [j7]Susan Eisenbach, Chris Sadler:
Reuse and Abuse. J. Object Technol. 6(1): 139-167 (2007) - [c39]Susan Eisenbach, Chris Sadler, Dominic Wong:
Component Adaptation in Contemporary Execution Environments. DAIS 2007: 90-103 - 2006
- [j6]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
- [c38]Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language. DCM@ICALP 2005: 37-47 - [c37]Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou:
Flexible Bytecode for Linking in .NET. Bytecode@ETAPS 2005: 75-92 - [e1]Alan Dearle, Susan Eisenbach:
Component Deployment, Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings. Lecture Notes in Computer Science 3798, Springer 2005, ISBN 3-540-30517-3 [contents] - 2004
- [c36]Robert Chatley, Susan Eisenbach, Jeff Magee:
MagicBeans: a Platform for Deploying Plugin Components. Component Deployment 2004: 97-112 - [c35]Susan Eisenbach, Dilek Kayhan, Chris Sadler:
Keeping Control of Reusable Components. Component Deployment 2004: 144-158 - [c34]Andrew Phillips, Nobuko Yoshida
, Susan Eisenbach:
A Distributed Abstract Machine for Boxed Ambient Calculi. ESOP 2004: 155-170 - [c33]Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Predictable Dynamic Plugin Systems. FASE 2004: 129-143 - 2003
- [j5]Matthias Radestock, Susan Eisenbach:
Coordinating components in middleware systems. Concurr. Comput. Pract. Exp. 15(13): 1205-1231 (2003) - [c32]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- - [c31]Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71 - [c30]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
Flexible Models for Dynamic Linking. ESOP 2003: 38-53 - [c29]Susan Eisenbach, Vladimir Jurisic, Chris Sadler:
Managing the Evolution of .NET Programs. FMOODS 2003: 185-198 - [c28]Miles Barr, Susan Eisenbach:
Safe Upgrading without Restarting. ICSM 2003: 129-137 - 2002
- [c27]Susan Eisenbach, Chris Sadler, Shakil Shaikh:
Evolution of Distributed Java Programs. Component Deployment 2002: 51-66 - [c26]Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210 - 2001
- [j4]Susan Eisenbach, Gary T. Leavens:
Special issue: formal techniques for Java programs. Concurr. Comput. Pract. Exp. 13(13): 1121-1123 (2001) - [c25]Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40 - [c24]Susan Eisenbach, Chris Sadler:
Changing Java Programs. ICSM 2001: 479-487 - [c23]Mike Wyer, Susan Eisenbach:
LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!). LISA 2001: 199-210 - 2000
- [c22]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
1990 – 1999
- 1999
- [j3]Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid:
Is the Java Type System Sound? Theory Pract. Object Syst. 5(1): 3-24 (1999) - [c21]Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah:
Can Corba save a fringe language from becoming obsolete? DAIS 1999: 272-286 - [c20]Vishnu Kotrajaras, Susan Eisenbach:
Thread and Main Memory Semantics. ECOOP Workshops 1999: 106 - [c19]Susan Eisenbach, Chris Sadler:
Ephemeral Java Source Code. FTDCS 1999: 9-14 - [c18]Sophia Drossopoulou, Susan Eisenbach:
Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java 1999: 41-82 - [c17]Sophia Drossopoulou, Susan Eisenbach, David Wragg:
A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS 1999: 147-156 - 1998
- [c16]Sophia Drossopoulou, David Wragg, Susan Eisenbach:
What is Java Binary Compatibility? OOPSLA 1998: 341-361 - [c15]Susan Eisenbach:
Formal underpinnings of Java. OOPSLA Addendum 1998 - 1997
- [c14]Sophia Drossopoulou, Susan Eisenbach:
Java is Type Safe - Probably. ECOOP 1997: 389-418 - 1996
- [c13]Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara:
Tool support for informal deduction. ACSE 1996: 119-126 - [c12]Matthias Radestock, Susan Eisenbach:
Semantics of a Higher-Order Coordination Language. COORDINATION 1996: 339-356 - [c11]Matthias Radestock, Susan Eisenbach:
Formalizing System Structure. IWSSD 1996: 95-104 - [c10]Matthias Radestock, Susan Eisenbach:
Coordination in Evolving Systems. TreDS 1996: 162-176 - 1995
- [j2]Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach:
Object-Oriented Technology in Multiparadigm Language Implementation. J. Object Oriented Program. 8(1): 33-38 (1995) - [c9]Matthias Radestock, Susan Eisenbach:
An Object Model for Distributed and Concurrent Programming Based on Decomposition. Object Orientation with Parallelism and Persistence 1995: 63-82 - [c8]Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer:
Specifying Distributed Software Architectures. ESEC 1995: 137-153 - 1994
- [c7]Susan Eisenbach, Jeff Kramer, Jeff N. Magee:
REGIS-DARWIN specified in the π-calculus. CDS 1994: 213 - [c6]Jeff Magee, Susan Eisenbach, Jeff Kramer:
Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152 - [c5]Matthias Radestock, Susan Eisenbach:
What Do You get From a Pi-Calculus Semantics? PARLE 1994: 635-647 - [c4]Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach:
Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures 1994: 191-207 - [c3]Matthias Radestock, Susan Eisenbach:
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. PODC 1994: 383 - 1993
- [j1]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
- [c2]Sophia Drossopoulou, Ross Paterson, Susan Eisenbach:
Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147
1980 – 1989
- 1989
- [c1]Susan Eisenbach, Lee McLoughlin, Chris Sadler:
Data-flow design as a visual programming language. IWSSD 1989: 281-283
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint