Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers. - Stephen J. Fink; Scott B. Baden (PP, 1995)

Flexible Communication Mechanisms for Dynamic Structured Applications. - Stephen J. Fink; Scott B. Baden; Scott R. Kohn (IRREGULAR, 1996)

Programming Language Requirements for the Next Millennium. - William G. Griswold; Richard Wolski; Scott B. Baden; Stephen J. Fink; Scott R. Kohn (ACM Comput. Surv., 1996)

Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters. - Stephen J. Fink; Scott B. Baden (ISCOPE, 1997)

A Preliminary Evaluation of HPF. - Scott B. Baden; Robert S. Schreiber; Kang Su Gatlin; Stephen J. Fink (PP, 1997)

Parallel Cluster Identification for Multidimensional Lattices. - Stephen J. Fink; Craig Huston; Scott B. Baden; Karl Jansen (IEEE Trans. Parallel Distributed Syst., 1997)

Communication overlap in multi-tier parallel algorithms. - Scott B. Baden; Stephen J. Fink (SC, 1998)

Efficient Run-Time Support for Irregular Block-Structured Applications. - Stephen J. Fink; Scott B. Baden; Scott R. Kohn (J. Parallel Distributed Comput., 1998)

The Jalapeño Dynamic Optimizing Compiler for Java. - Michael G. Burke; Jong-Deok Choi; Stephen J. Fink; David Grove; Michael Hind; Vivek Sarkar; Mauricio J. Serrano; Vugranam C. Sreedhar; Harini Srinivasan; John Whaley (Java Grande, 1999)

The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. - Scott B. Baden; Stephen J. Fink (LCPC, 1999)

Multiple data parallelism with HPF and KeLP. - John H. Merlin; Scott B. Baden; Stephen Fink; Barbara M. Chapman (Future Gener. Comput. Syst., 1999)

A comparative study of static and profile-based heuristics for inlining. - Matthew Arnold; Stephen J. Fink; Vivek Sarkar; Peter F. Sweeney (Dynamo, 2000)

Adaptive optimization in the Jalapeño JVM. - Matthew Arnold; Stephen J. Fink; David Grove; Michael Hind; Peter F. Sweeney (OOPSLA, 2000)

Adaptive optimization in the Jalapeño JVM (poster session). - Matthew Arnold; Stephen Fink; David Grove; Michael Hind; Peter F. Sweeney (OOPSLA Addendum, 2000)

Unified Analysis of Array and Object References in Strongly Typed Languages. - Stephen J. Fink; Kathleen Knobe; Vivek Sarkar (SAS, 2000)

The Jalapeño virtual machine. - Bowen Alpern; C. Richard Attanasio; John J. Barton; Michael G. Burke; Perry Cheng; Jong-Deok Choi; Anthony Cocchi; Stephen J. Fink; David Grove; Michael Hind; Susan Flynn Hummel; Derek Lieber; et al. (IBM Syst. J., 2000)

Java server benchmarks. - Sandra Johnson Baylor; Murthy V. Devarakonda; Stephen J. Fink; Eugene Gluzberg; Michael H. Kalantar; Prakash Muttineni; Eric Barsness; Rajiv Arora; Robert T. Dimpsey; Steven J. Munroe (IBM Syst. J., 2000)

A Programming Methodology for Dual-Tier Multicomputers. - Scott B. Baden; Stephen J. Fink (IEEE Trans. Software Eng., 2000)

Efficient Dependence Analysis for Java Arrays. - Vivek Sarkar; Stephen J. Fink (Euro-Par, 2001)

Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. - Bowen Alpern; Anthony Cocchi; Stephen J. Fink; David Grove; Derek Lieber (OOPSLA, 2001)

Space- and Time-Efficient Implementation of the Java Object Model. - David F. Bacon; Stephen J. Fink; David Grove (ECOOP, 2002)

Experiences Porting the Jikes RVM to Linux/IA32. - Bowen Alpern; Maria A. Butrico; Anthony Cocchi; Julian Dolby; Stephen J. Fink; David Grove; Ton Ngo (Java Virtual Machine Research and Technology Symposium, 2002)

Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. - Stephen J. Fink; Feng Qian (CGO, 2003)

The Jikes Research Virtual Machine project: Building an open-source research community. - Bowen Alpern; Steve Augart; Stephen M. Blackburn; Maria A. Butrico; Anthony Cocchi; Perry Cheng; Julian Dolby; Stephen J. Fink; David Grove; Michael Hind; Kathryn S. McKinley; Mark F. Mergen; et al. (IBM Syst. J., 2005)

A Survey of Adaptive Optimization in Virtual Machines. - Matthew Arnold; Stephen J. Fink; David Grove; Michael Hind; Peter F. Sweeney (Proc. IEEE, 2005)

Role-Based access control consistency validation. - Paolina Centonze; Gleb Naumovich; Stephen J. Fink; Marco Pistoia (ISSTA, 2006)

Continuous code-quality assurance with SAFE. - Emmanuel Geay; Eran Yahav; Stephen J. Fink (PEPM, 2006)

Declarative Object Identity Using Relation Types. - Mandana Vaziri; Frank Tip; Stephen Fink; Julian Dolby (ECOOP, 2007)

When Role Models Have Flaws: Static Validation of Enterprise Security Policies. - Marco Pistoia; Stephen J. Fink; Robert J. Flynn; Eran Yahav (ICSE, 2007)

Thin slicing. - Manu Sridharan; Stephen J. Fink; Rastislav Bodík (PLDI, 2007)

A survey of static analysis methods for identifying security vulnerabilities in software systems. - Marco Pistoia; Satish Chandra 001; Stephen J. Fink; Eran Yahav (IBM Syst. J., 2007)

Verifying dereference safety via expanding-scope analysis. - Alexey Loginov; Eran Yahav; Satish Chandra 001; Stephen Fink; Noam Rinetzky; Mangala Gowri Nanda (ISSTA, 2008)

Effective typestate verification in the presence of aliasing. - Stephen J. Fink; Eran Yahav; Nurit Dor; G. Ramalingam; Emmanuel Geay (ACM Trans. Softw. Eng. Methodol., 2008)

Static Specification Mining Using Automata-Based Abstractions. - Sharon Shoham; Eran Yahav; Stephen J. Fink; Marco Pistoia (IEEE Trans. Software Eng., 2008)

Snugglebug: a powerful approach to weakest preconditions. - Satish Chandra 001; Stephen J. Fink; Manu Sridharan (PLDI, 2009)

TAJ: effective taint analysis of web applications. - Omer Tripp; Marco Pistoia; Stephen J. Fink; Manu Sridharan; Omri Weisman (PLDI, 2009)

The Complexity of Andersen's Analysis in Practice. - Manu Sridharan; Stephen J. Fink (SAS, 2009)

Performance analysis of idle programs. - Erik R. Altman; Matthew Arnold; Stephen Fink; Nick Mitchell (OOPSLA, 2010)

A compiler and runtime for heterogeneous computing. - Joshua S. Auerbach; David F. Bacon; Ioana Burcea; Perry Cheng; Stephen J. Fink; Rodric M. Rabbah; Sunil Shukla (DAC, 2012)

Compiling a high-level language for GPUs: (via language support for architectures and compilers). - Christophe Dubach; Perry Cheng; Rodric M. Rabbah; David F. Bacon; Stephen J. Fink (PLDI, 2012)

The Liquid Metal IP bridge. - Perry Cheng; Stephen J. Fink; Rodric M. Rabbah; Sunil Shukla (ASP-DAC, 2013)

The Liquid Metal Blokus Duo Design. - Erik R. Altman; Joshua S. Auerbach; David F. Bacon; Ioana Baldini; Perry Cheng; Stephen J. Fink; Rodric M. Rabbah (FPT, 2013)

Alias Analysis for Object-Oriented Programs. - Manu Sridharan; Satish Chandra 001; Julian Dolby; Stephen J. Fink; Eran Yahav (Aliasing in Object-Oriented Programming, 2013)

Translating imperative code to MapReduce. - Cosmin Radoi; Stephen J. Fink; Rodric M. Rabbah; Manu Sridharan (OOPSLA, 2014)

Predicting GPU Performance from CPU Runs Using Machine Learning. - Ioana Baldini; Stephen J. Fink; Erik R. Altman (SBAC-PAD, 2014)

Growing a Software Language for Hardware Design. - Joshua S. Auerbach; David F. Bacon; Perry Cheng; Stephen J. Fink; Rodric M. Rabbah; Sunil Shukla (SNAPL, 2015)

Cloud-native, event-based programming for mobile applications. - Ioana Baldini; Paul C. Castro; Perry Cheng; Stephen J. Fink; Vatche Ishakian; Nick Mitchell; Vinod Muthusamy; Rodric Rabbah; Philippe Suter (MOBILESoft, 2016)

Serverless Computing: Current Trends and Open Problems. - Ioana Baldini; Paul C. Castro; Kerry Shih-Ping Chang; Perry Cheng; Stephen Fink; Vatche Ishakian; Nick Mitchell; Vinod Muthusamy; Rodric Rabbah; Aleksander Slominski; Philippe Suter (Research Advances in Cloud Computing, 2017)

The serverless trilemma: function composition for serverless computing. - Ioana Baldini; Perry Cheng; Stephen J. Fink; Nick Mitchell; Vinod Muthusamy; Rodric Rabbah; Philippe Suter; Olivier Tardieu (Onward!, 2017)

Visualizing serverless cloud application logs for program understanding. - Kerry Shih-Ping Chang; Stephen J. Fink (VL/HCC, 2017)

Serverless Computing: Current Trends and Open Problems. - Ioana Baldini; Paul C. Castro; Kerry Shih-Ping Chang; Perry Cheng; Stephen J. Fink; Vatche Ishakian; Nick Mitchell; Vinod Muthusamy; Rodric M. Rabbah; Aleksander Slominski; Philippe Suter (CoRR, 2017)

From typestate verification to interpretable deep models (invited talk abstract). - Eran Yahav; Stephen J. Fink; Nurit Dor; G. Ramalingam; Emmanuel Geay (ISSTA, 2019)

Debugging Crashes using Continuous Contrast Set Mining. - Rebecca Qian; Yang Yu; Wonhee Park; Vijayaraghavan Murali; Stephen Fink; Satish Chandra 001 (CoRR, 2019)

Debugging crashes using continuous contrast set mining. - Rebecca Qian; Yang Yu; Wonhee Park; Vijayaraghavan Murali; Stephen Fink; Satish Chandra 001 (ICSE (SEIP), 2020)

Array SSA Form. - Vivek Sarkar; Kathleen Knobe; Stephen Fink (SSA-based Compiler Design, 2022)