Stephen J. Fink

According to our database, Stephen J. Fink authored at least 55 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Array SSA Form.

Vivek Sarkar, Kathleen Knobe, Stephen Fink

Proceedings of the SSA-based Compiler Design, 2022

2020

Debugging crashes using <i>continuous</i> contrast set mining.

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Debugging Crashes using Continuous Contrast Set Mining.

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

CoRR, 2019

From typestate verification to interpretable deep models (invited talk abstract).

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

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

Visualizing serverless cloud application logs for program understanding.

Kerry Shih-Ping Chang, Stephen J. Fink

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric 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

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

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

Proceedings of the Research Advances in Cloud Computing, 2017

2016

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

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015

Growing a Software Language for Hardware Design.

Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014

Predicting GPU Performance from CPU Runs Using Machine Learning.

Ioana Baldini, Stephen J. Fink, Erik R. Altman

Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing, 2014

Translating imperative code to MapReduce.

Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Alias Analysis for Object-Oriented Programs.

Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav

Proceedings of the Aliasing in Object-Oriented Programming. Types, 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

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

The Liquid Metal IP bridge.

Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

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

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

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

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2010

Performance analysis of idle programs.

Erik R. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

The Complexity of Andersen's Analysis in Practice.

Manu Sridharan, Stephen J. Fink

Proceedings of the Static Analysis, 16th International Symposium, 2009

TAJ: effective taint analysis of web applications.

Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Snugglebug: a powerful approach to weakest preconditions.

Satish Chandra, Stephen J. Fink, Manu Sridharan

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Static Specification Mining Using Automata-Based Abstractions.

Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia

IEEE Trans. Software Eng., 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

Verifying dereference safety via expanding-scope analysis.

Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

A survey of static analysis methods for identifying security vulnerabilities in software systems.

Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav

IBM Syst. J., 2007

Thin slicing.

Manu Sridharan, Stephen J. Fink, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

When Role Models Have Flaws: Static Validation of Enterprise Security Policies.

Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Declarative Object Identity Using Relation Types.

Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Continuous code-quality assurance with SAFE.

Emmanuel Geay, Eran Yahav, Stephen J. Fink

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Role-Based access control consistency validation.

Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

A Survey of Adaptive Optimization in Virtual Machines.

Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney

Proc. IEEE, 2005

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, J. Eliot B. Moss, Ton Anh Ngo, Vivek Sarkar, Martin Trapp

IBM Syst. J., 2005

2003

Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement.

Stephen J. Fink, Feng Qian

Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

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

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

Space- and Time-Efficient Implementation of the Java Object Model.

David F. Bacon, Stephen J. Fink, David Grove

Proceedings of the ECOOP 2002, 2002

2001

Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless.

Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Efficient Dependence Analysis for Java Arrays.

Vivek Sarkar, Stephen J. Fink

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

A Programming Methodology for Dual-Tier Multicomputers.

Scott B. Baden, Stephen J. Fink

IEEE Trans. Software Eng., 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

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, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley

IBM Syst. J., 2000

Unified Analysis of Array and Object References in Strongly Typed Languages.

Stephen J. Fink, Kathleen Knobe, Vivek Sarkar

Proceedings of the Static Analysis, 7th International Symposium, 2000

Adaptive optimization in the Jalapeño JVM (poster session).

Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F. Sweeney

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Adaptive optimization in the Jalapeño JVM.

Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

A comparative study of static and profile-based heuristics for inlining.

Matthew Arnold, Stephen J. Fink, Vivek Sarkar, Peter F. Sweeney

Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

1999

Multiple data parallelism with HPF and KeLP.

John H. Merlin, Scott B. Baden, Stephen Fink, Barbara M. Chapman

Future Gener. Comput. Syst., 1999

The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion.

Scott B. Baden, Stephen J. Fink

Proceedings of the Languages and Compilers for Parallel Computing, 1999

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

Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998

Efficient Run-Time Support for Irregular Block-Structured Applications.

Stephen J. Fink, Scott B. Baden, Scott R. Kohn

J. Parallel Distributed Comput., 1998

Communication overlap in multi-tier parallel algorithms.

Scott B. Baden, Stephen J. Fink

Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

1997

Parallel Cluster Identification for Multidimensional Lattices.

Stephen J. Fink, Craig Huston, Scott B. Baden, Karl Jansen

IEEE Trans. Parallel Distributed Syst., 1997

A Preliminary Evaluation of HPF.

Scott B. Baden, Robert S. Schreiber, Kang Su Gatlin, Stephen J. Fink

Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters.

Stephen J. Fink, Scott B. Baden

Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

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

Flexible Communication Mechanisms for Dynamic Structured Applications.

Stephen J. Fink, Scott B. Baden, Scott R. Kohn

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

1995

Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers.

Stephen J. Fink, Scott B. Baden

Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995