Susan Eisenbach

76 papers A* 2A 9B 3C 8Journal 17Unranked 36

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