Stephen J. Fink

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 5

Top Topics

Machine Learning

Heterogeneous Computing

Hardware Design

Top Venues

Publications

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay
From typestate verification to interpretable deep models (invited talk abstract). ISSTA (2019)
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
Serverless Computing: Current Trends and Open Problems. CoRR (2017)
Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, Olivier Tardieu
The serverless trilemma: function composition for serverless computing. Onward! (2017)
Kerry Shih-Ping Chang, Stephen J. Fink
Visualizing serverless cloud application logs for program understanding. VL/HCC (2017)
Ioana Baldini, Paul C. Castro, Perry Cheng, Stephen J. Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter
Cloud-native, event-based programming for mobile applications. MOBILESoft (2016)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
Growing a Software Language for Hardware Design. SNAPL (2015)
Ioana Baldini, Stephen J. Fink, Erik R. Altman
Predicting GPU Performance from CPU Runs Using Machine Learning. SBAC-PAD (2014)
Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan
Translating imperative code to MapReduce. OOPSLA (2014)
Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
The Liquid Metal IP bridge. ASP-DAC (2013)
Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah
The Liquid Metal Blokus Duo Design. FPT (2013)
Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink
Compiling a high-level language for GPUs: (via language support for architectures and compilers). PLDI (2012)
Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
A compiler and runtime for heterogeneous computing. DAC (2012)
Manu Sridharan, Stephen J. Fink
The Complexity of Andersen's Analysis in Practice. SAS (2009)
Satish Chandra, Stephen J. Fink, Manu Sridharan
Snugglebug: a powerful approach to weakest preconditions. PLDI (2009)
Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman
TAJ: effective taint analysis of web applications. PLDI (2009)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia
Static Specification Mining Using Automata-Based Abstractions. IEEE Trans. Software Eng. 34 (5) (2008)
Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav
When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE (2007)
Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav
A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Syst. J. 46 (2) (2007)
Manu Sridharan, Stephen J. Fink, Rastislav Bodík
Thin slicing. PLDI (2007)
Emmanuel Geay, Eran Yahav, Stephen J. Fink
Continuous code-quality assurance with SAFE. PEPM (2006)
Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia
Role-Based access control consistency validation. ISSTA (2006)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ISSTA (2006)
Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney
A Survey of Adaptive Optimization in Virtual Machines. Proc. IEEE 93 (2) (2005)
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
The Jikes Research Virtual Machine project: Building an open-source research community. IBM Syst. J. 44 (2) (2005)
Stephen J. Fink, Feng Qian
Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. CGO (2003)
David F. Bacon, Stephen J. Fink, David Grove
Space- and Time-Efficient Implementation of the Java Object Model. ECOOP (2002)
Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo
Experiences Porting the Jikes RVM to Linux/IA32. Java Virtual Machine Research and Technology Symposium (2002)
Vivek Sarkar, Stephen J. Fink
Efficient Dependence Analysis for Java Arrays. Euro-Par (2001)
Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. OOPSLA (2001)
Stephen J. Fink, Kathleen Knobe, Vivek Sarkar
Unified Analysis of Array and Object References in Strongly Typed Languages. SAS (2000)
Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney
Adaptive optimization in the Jalapeño JVM. OOPSLA (2000)
Scott B. Baden, Stephen J. Fink
A Programming Methodology for Dual-Tier Multicomputers. IEEE Trans. Software Eng. 26 (3) (2000)
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
Java server benchmarks. IBM Syst. J. 39 (1) (2000)
Matthew Arnold, Stephen J. Fink, Vivek Sarkar, Peter F. Sweeney
A comparative study of static and profile-based heuristics for inlining. Dynamo (2000)
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
The Jalapeño virtual machine. IBM Syst. J. 39 (1) (2000)
Scott B. Baden, Stephen J. Fink
The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. LCPC (1999)
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
The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande (1999)
Scott B. Baden, Stephen J. Fink
Communication overlap in multi-tier parallel algorithms. SC (1998)
Stephen J. Fink, Scott B. Baden, Scott R. Kohn
Efficient Run-Time Support for Irregular Block-Structured Applications. J. Parallel Distributed Comput. 50 (1/2) (1998)
John H. Merlin, Scott B. Baden, Stephen J. Fink, Barbara M. Chapman
Multiple Data Parallelism with HPF and KeLP. HPCN Europe (1998)
Stephen J. Fink, Craig Huston, Scott B. Baden, Karl Jansen
Parallel Cluster Identification for Multidimensional Lattices. IEEE Trans. Parallel Distributed Syst. 8 (11) (1997)
Stephen J. Fink, Scott B. Baden
Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters. ISCOPE (1997)
Scott B. Baden, Robert S. Schreiber, Kang Su Gatlin, Stephen J. Fink
A Preliminary Evaluation of HPF. PPSC (1997)
Stephen J. Fink, Scott B. Baden, Scott R. Kohn
Flexible Communication Mechanisms for Dynamic Structured Applications. IRREGULAR (1996)
William G. Griswold, Richard Wolski, Scott B. Baden, Stephen J. Fink, Scott R. Kohn
Programming Language Requirements for the Next Millennium. ACM Comput. Surv. 28 (4es) (1996)
Stephen J. Fink, Scott B. Baden
Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers. PPSC (1995)