| 2020 | ECOOP | 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 |
| 2020 | FASE | Holistic Specifications for Robust Programs. | Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach |
| 2018 | ECOOP | 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 |
| 2017 | ESOP | Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. | Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach |
| 2017 | OOPSLA | You can have it all: abstraction and good cache performance. | Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach |
| 2012 | ECOOP | Lock Inference in the Presence of Large Libraries. | Khilan Gudka, Tim Harris, Susan Eisenbach |
| 2012 | PADL | The Environment as an Argument - Context-Aware Functional Programming. | Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach |
| 2012 | TACAS | Zeno: An Automated Prover for Properties of Recursive Data Structures. | William Sonnex, Sophia Drossopoulou, Susan Eisenbach |
| 2011 | ISSTA | High coverage testing of Haskell programs. | Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach |
| 2010 | Coordination | JErlang: Erlang with Joins. | Hubert Plociniczak, Susan Eisenbach |
| 2009 | Coordination | Fairness for Chorded Languages. | Alexis Petrounias, Susan Eisenbach |
| 2009 | HASKELL | Finding the needle: stack traces for GHC. | Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
| 2009 | ICSE | Stage: Python with Actors. | John Ayres, Susan Eisenbach |
| 2008 | CC | Keep Off the Grass: Locking the Right Path for Atomicity. | Dave Cunningham, Khilan Gudka, Susan Eisenbach |
| 2008 | HASKELL | Clase: cursor library for a structured editor. | Tristan Oliver Richard Allwood, Susan Eisenbach |
| 2007 | DAIS | Component Adaptation in Contemporary Execution Environments. | Susan Eisenbach, Chris Sadler, Dominic Wong |
| 2004 | ESOP | A Distributed Abstract Machine for Boxed Ambient Calculi. | Andrew Phillips, Nobuko Yoshida, Susan Eisenbach |
| 2004 | FASE | Predictable Dynamic Plugin Systems. | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2003 | ESOP | Flexible Models for Dynamic Linking. | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
| 1999 | DAIS | Can Corba save a fringe language from becoming obsolete? | Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah |
| 1999 | LICS | A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. | Sophia Drossopoulou, Susan Eisenbach, David Wragg |
| 1998 | OOPSLA | What is Java Binary Compatibility? | Sophia Drossopoulou, David Wragg, Susan Eisenbach |
| 1998 | OOPSLA | Formal underpinnings of Java. | Susan Eisenbach |
| 1997 | ECOOP | Java is Type Safe - Probably. | Sophia Drossopoulou, Susan Eisenbach |
| 1996 | Coordination | Semantics of a Higher-Order Coordination Language. | Matthias Radestock, Susan Eisenbach |
| 1994 | PODC | Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. | Matthias Radestock, Susan Eisenbach |