BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Estonia
1 × Finland
1 × Hungary
1 × Italy
1 × Poland
1 × The Netherlands
1 × USA
2 × Canada
4 × Spain
Collaborated with:
S.Drossopoulou T.O.R.Allwood T.O.R.Allwood K.Gudka D.Wragg M.Barr C.Sadler J.Kramer J.Magee T.Harris P.M.Martins J.A.McCann W.Sonnex C.Cadar D.Cunningham A.Phillips N.Yoshida G.Lagorio S.L.P.Jones N.Dulay T.W.0004 S.K.Lahiri R.Chatley S.Uchitel J.Franco Martin Hagelin T.Wrigstad J.F.Naveda D.J.Bagert S.B.Seidman J.Armarego T.B.Hilburn
Talks about:
java (4) program (3) distribut (2) structur (2) abstract (2) softwar (2) presenc (2) librari (2) compat (2) binari (2)

♀ Person: Susan Eisenbach

DBLP DBLP: Eisenbach:Susan

Facilitated 4 volumes:

LDTA 2009PrCo
CBSE 2007PrCo
CBSE 2006PrCo
CBSE 2005PrCo

Contributed to:

ECOOP 20122012
PADL 20122012
TACAS 20122012
ISSTA 20112011
LDTA 20092010
CC 20082008
LDTA 20082009
ESOP 20042004
FASE 20042004
CSEE&T 20032003
ESOP 20032003
ICSM 20032003
ICSM 20012001
LICS 19991999
OOPSLA 19981998
ECOOP 19971997
ESEC 19951995
ESOP 20172017
Haskell 20082008
Haskell 20092009
Onward! 20172017

Wrote 21 papers:

ECOOP-2012-GudkaHE #library #scalability
Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.
PADL-2012-MartinsME #functional #programming
The Environment as an Argument — Context-Aware Functional Programming (PMM, JAM, SE), pp. 48–62.
TACAS-2012-SonnexDE #automation #data type #named #proving #recursion
Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.
ISSTA-2011-AllwoodCE #haskell #source code #testing
High coverage testing of Haskell programs (TORA, CC, SE), pp. 375–385.
Strengthening the Zipper (TORA, SE), pp. 3–18.
Keep Off the Grass: Locking the Right Path for Atomicity (DC, KG, SE), pp. 276–290.
LDTA-2008-AllwoodE09 #java
Tickling Java with a Feather (TORA, SE), pp. 3–16.
ESOP-2004-PhillipsYE #automaton #calculus #distributed
A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.
FASE-2004-ChatleyEKMU #plugin #predict
Predictable Dynamic Plugin Systems (RC, SE, JK, JM, SU), pp. 129–143.
CSEET-2003-NavedaBSAHE #re-engineering
Developing an Undergraduate Software Engineering Degree (JFN, DJB, SBS, JA, TBH, SE), p. 318–?.
ESOP-2003-DrossopoulouLE #flexibility #modelling
Flexible Models for Dynamic Linking (SD, GL, SE), pp. 38–53.
Safe Upgrading without Restarting (MB, SE), pp. 129–137.
ICSM-2001-EisenbachS #java #source code
Changing Java Programs (SE, CS), pp. 479–487.
LICS-1999-DrossopoulouEW #calculus #compilation #towards
A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (SD, SE, DW), pp. 147–156.
OOPSLA-1998-DrossopoulouWE #java #question #what
What is Java Binary Compatibility? (SD, DW, SE), pp. 341–361.
ECOOP-1997-DrossopoulouE #java #type safety
Java is Type Safe — Probably (SD, SE), pp. 389–418.
ESEC-1995-MageeDEK #architecture #distributed #specification
Specifying Distributed Software Architectures (JM, ND, SE, JK), pp. 137–153.
ESOP-2017-WoodDLE #composition #equivalence #memory management #verification
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (TW0, SD, SKL, SE), pp. 937–963.
Haskell-2008-AllwoodE #editing #library #named
Clase: cursor library for a structured editor (TORA, SE), pp. 123–124.
Haskell-2009-AllwoodJE #haskell #stack
Finding the needle: stack traces for GHC (TORA, SLPJ, SE), pp. 129–140.
Onward-2017-FrancoHWDE #abstraction #performance
You can have it all: abstraction and good cache performance (JF, MH, TW, SD, SE), pp. 148–167.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.