Stephen J. Fink  Stephen J. Fink photo       

contact information

Chief Architect, Watson Programming Models
Thomas J. Watson Research Center, Yorktown Heights, NY USA


Professional Associations

Professional Associations:  ACM  |  ACM SIGPLAN


Cloud-native, event-based programming for mobile applications
Baldini, Ioana and Castro, Paul and Cheng, Perry and Fink, Stephen and Ishakian, Vatche and Mitchell, Nick and Muthusamy, Vinod and Rabbah, Rodric and Suter, Philippe
Proceedings of the International Workshop on Mobile Software Engineering and Systems, pp. 287--288, 2016


Predicting GPU Performance from CPU Runs Using Machine Learning
Ioana Baldini, Stephen J Fink, Erik Altman
Computer Architecture and High Performance Computing (SBAC-PAD), 2014 IEEE 26th International Symposium on, pp. 254--261

Translating imperative code to MapReduce
Cosmin Radoi, Stephen J Fink, Rodric Rabbah, Manu Sridharan
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, pp. 909--927


Alias analysis for object-oriented programs
Sridharan, Manu and Chandra, Satish and Dolby, Julian and Fink, Stephen J and Yahav, Eran
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, pp. 196--232, Springer, 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 (ASP-DAC), pp. 313--319, 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
International Conference on Field-Programmable Technology, pp. 490-493, 2013

The Shape Of Things To Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime
Joshua S. Auerbach, Dave F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah
ECOOP 2013

Alias Analysis for Object Oriented Programs
Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
Aliasing in Object-Oriented Programming, Springer, 2013
Abstract   To Appear


Compiling a high-level language for GPUs:(via language support for architectures and compilers)
C. Dubach, P. Cheng, R. Rabbah, D.F. Bacon, S.J. Fink
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pp. 1--12, 2012

A compiler and runtime for heterogeneous computing
Joshua Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric Rabbah, Sunil Shukla
Proceedings of the 49th Annual Design Automation Conference (DAC), pp. 271--276, ACM, 2012


The SAFE Experience
E. Yahav, S. Fink
Engineering of Software, 17--33, Springer, 2011


An introduction to programming with X10
Jonathan Brezin, Stephen J Fink, Bard Bloom, Cal Swart
2013 -, 2010

Performance Analysis Of Idle Programs
Erik Altman, Matthew Arnold, Stephen Fink, Nick Mitchell
Proceedings of OOPSLA/SPLASH 2010, pp. 739--753, ACM


Snugglebug: A Powerful Approach to Weakest Preconditions
S. Chandra, S. Fink, M. Sridharan
ACM Conference on Programming Language Design and Implementation (PLDI), pp. 363--374, ACM, 2009

The Complexity of Andersen's Analysis in Practice
M Sridharan, S J Fink
The 16th International Static Analysis Symposium (SAS), pp. 221, Springer, 2009

TAJ: effective taint analysis of web applications
Omer Tripp, Marco Pistoia, Stephen J Fink, Manu Sridharan, Omri Weisman
Programming Language Design and Implementation, pp. 87--97, ACM, 2009


Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, Nurit Dor, Ramalingam, and Emmanuel Geay
Transactions on Software Engineering and Methodology (TOSEM) 17(2), 2008

Static Specification Mining Using Automata-Based Abstractions
Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia
IEEE Transactions on Software Engineering 34(5), 2008

Verifying Dereference Safety via Expanding-Scope Analysis
A. Loginov, E. Yahav, S. Chandra, S. Fink, N. Rinetzky, M. Nanda
International Symposium on Software Testing and Analysis (ISSTA), pp. 213--224, ACM, 2008


Declarative Object Identity Using Relation Types
M Vaziri, F Tip, S Fink, J Dolby
Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), pp. 54-78

Thin slicing
Manu Sridharan, Stephen J Fink, Rastislav Bodik
PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp. 112--122, ACM

A Survey of Static Analysis Methods for Identifying Security Vulnerabilities in Software Systems
M. Pistoia, S. Chandra, S. J. Fink, E. Yahav
IBM Systems Journal 46(2), 265--288, IBM Corp., 2007

When Role Models Have Flaws: Static Validation of Enterprise Security Policies
Marco Pistoia, Stephen J Fink, Robert J Flynn, Eran Yahav
ICSE '07: Proceedings of the 29th international conference on Software Engineering, pp. 478--488, IEEE Computer Society, 2007

Static specification mining using automata-based abstractions
Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis, pp. 174--184, ACM


Role-Based access control consistency validation
Paolina Centonze, Gleb Naumovich, Stephen J Fink, Marco Pistoia
ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pp. 121--132, ACM

Effective typestate verification in the presence of aliasing
Stephen J Fink, Eran Yahav, Nurit Dor, G Ramalingam, Emmanuel Geay
ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pp. 1--34, ACM

Continuous code-quality assurance with SAFE
Emmanuel Geay, Eran Yahav, Stephen Fink
PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 145--149, ACM


The Jikes research virtual machine project: building an open-source research community
Bowen Alpern, Stephen Augart, Stephen M Blackburn, Maira Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen Fink, David Grove, Michael Hind, Kathryn S McKinley, Mark Mergen, J Eliot B Moss, Ton Ngo, Vivek Sarkar
IBM System Journal 44(2), 399--417, IBM Corp., 2005

A Survey of Adaptive Optimization in Virtual Machines
Matthew Arnold, Stephen J Fink, David Grove, Michael Hind, Peter F Sweeney
Proceedings of the IEEE 93(2), 449-466, IEEE, 2005
Special issue on Program Generation, Optimization, and Adaptation


Semi-automatic J2EE transaction configuration
S Fink, J Dolby, L Colby
IBM Research Report RC23326, 2004


Design, implementation and evaluation of adaptive recompilation with on-stack replacement
Stephen J Fink, Feng Qian
CGO '03: Proceedings of the international symposium on Code generation and optimization, pp. 241--252, IEEE Computer Society, 2003


Efficient Dependence Analysis for Java Arrays
Vivek Sarkar, Stephen J Fink
Euro-Par '01: Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing, pp. 273--277, Springer-Verlag, 2001

Efficient implementation of Java interfaces: Invokeinterface considered harmless
Bowen Alpern, Anthony Cocchi, Stephen Fink, David Grove
OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 108--124, ACM, 2001


Unified Analysis of Array and Object References in Strongly Typed Languages
Stephen J Fink, Kathleen Knobe, Vivek Sarkar
SAS '00: Proceedings of the 7th International Symposium on Static Analysis, pp. 155--174, Springer-Verlag, 2000

A Programming Methodology for Dual-Tier Multicomputers
Scott B Baden, Stephen J Fink
IEEE Trans. Softw. Eng. 26(3), 212--226, IEEE Press, 2000

An Evaluation of Java System Services with Microbenchmarks
E. Gluzberg, S. Fink
IBM Research Report RC 21715, 2000

Java server benchmarks
S J Baylor, M Devarakonda, S J Fink, E Gluzberg, M Kalantar, P Muttineni, E Barsness, R Arora, R Dimpsey, S J Munroe
IBM Syst. J. 39(1), 57--81, IBM Corp., 2000

Adaptive Optimization in the Jalapeno JVM: The Controllers Analytical Model
Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F Sweeney
The 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3),, pp. 15--19, 2000


Multiple data parallelism with HPF and KeLP
John H Merlin, Scott B Baden, Stephen Fink, Barbara M Chapman
HPCN Europe 1998: Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking, pp. 393-405, Springer-Verlag, 1999

The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion
Scott B Baden, Stephen J Fink
LCPC '99: Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing, pp. 333--349, Springer-Verlag, 1999


Communication overlap in multi-tier parallel algorithms
Scott B Baden, Stephen J Fink
Supercomputing '98: Proceedings of the 1998 ACM/IEEE conference on Supercomputing (CDROM), pp. 1--20, IEEE Computer Society

Efficient run-time support for irregular block-structured applications
Stephen J Fink, Scott B Baden, Scott R Kohn
J. Parallel Distrib. Comput. 50(1-2), 61--82, Academic Press, Inc., 1998


Parallel Cluster Identification for Multidimensional Lattices
Stephen J Fink, Scott B Baden, Craig Huston, Karl Jansen
IEEE Trans. Parallel Distrib. Syst. 8(11), 1089--1097, IEEE Press, 1997

Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters
Stephen J Fink, Scott B Baden
ISCOPE '97: Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, pp. 1--8, Springer-Verlag, 1997

A preliminary evaluation of HPF
S. Baden, R. Schreiber, K. Gatlin, S. Fink
Proceedings of the 8th SIAM Conference on Parallel Proc. for Scientific Computing, 1997


Programming language requirements for the next millennium
William G Griswold, Richard Wolski, Scott B Baden, Stephen J Fink, Scott R Kohn
ACM Comput. Surv., 194, ACM, 1996

Flexible Communication Mechanisms for Dynamic Structured Applications
Stephen J Fink, Scott B Baden, Scott R Kohn
IRREGULAR '96: Proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, pp. 203--215, Springer-Verlag, 1996



Cluster identification on a distributed memory multiprocessor
S.J. Fink, S.B. Baden, K. Jansen
Proceedings of the 1994 Scalable High Performance Computing Conference

Programming with LPARX
S.B. Baden, S.R .Kohn, S.J .Fink
Proceedings of Intel Supercomputer User's Group Meeting, 1994