![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Stephen J. Fink
Person information
- affiliation: IBM Research
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [p3]Vivek Sarkar, Kathleen Knobe, Stephen Fink:
Array SSA Form. SSA-based Compiler Design 2022: 227-240 - 2020
- [c41]Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra:
Debugging crashes using continuous contrast set mining. ICSE (SEIP) 2020: 61-70
2010 – 2019
- 2019
- [c40]Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay:
From typestate verification to interpretable deep models (invited talk abstract). ISSTA 2019: 4-5 - [i2]Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra:
Debugging Crashes using Continuous Contrast Set Mining. CoRR abs/1911.04768 (2019) - 2017
- [c39]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: 89-103 - [c38]Kerry Shih-Ping Chang, Stephen J. Fink:
Visualizing serverless cloud application logs for program understanding. VL/HCC 2017: 261-265 - [p2]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:
Serverless Computing: Current Trends and Open Problems. Research Advances in Cloud Computing 2017: 1-20 - [i1]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 abs/1706.03178 (2017) - 2016
- [c37]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: 287-288 - 2015
- [c36]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: 32-40 - 2014
- [c35]Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan
:
Translating imperative code to MapReduce. OOPSLA 2014: 909-927 - [c34]Ioana Baldini, Stephen J. Fink, Erik R. Altman:
Predicting GPU Performance from CPU Runs Using Machine Learning. SBAC-PAD 2014: 254-261 - 2013
- [c33]Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla:
The Liquid Metal IP bridge. ASP-DAC 2013: 313-319 - [c32]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: 490-493 - [p1]Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav:
Alias Analysis for Object-Oriented Programs. Aliasing in Object-Oriented Programming 2013: 196-232 - 2012
- [c31]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: 271-276 - [c30]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: 1-12 - 2010
- [c29]Erik R. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell:
Performance analysis of idle programs. OOPSLA 2010: 739-753
2000 – 2009
- 2009
- [c28]Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan
, Omri Weisman:
TAJ: effective taint analysis of web applications. PLDI 2009: 87-97 - [c27]Satish Chandra, Stephen J. Fink, Manu Sridharan
:
Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374 - [c26]Manu Sridharan
, Stephen J. Fink:
The Complexity of Andersen's Analysis in Practice. SAS 2009: 205-221 - 2008
- [j12]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): 9:1-9:34 (2008) - [j11]Sharon Shoham
, Eran Yahav, Stephen J. Fink, Marco Pistoia:
Static Specification Mining Using Automata-Based Abstractions. IEEE Trans. Software Eng. 34(5): 651-666 (2008) - [c25]Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224 - 2007
- [j10]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): 265-288 (2007) - [c24]Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby:
Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78 - [c23]Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav:
When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE 2007: 478-488 - [c22]Sharon Shoham
, Eran Yahav, Stephen Fink, Marco Pistoia:
Static specification mining using automata-based abstractions. ISSTA 2007: 174-184 - [c21]Manu Sridharan
, Stephen J. Fink, Rastislav Bodík:
Thin slicing. PLDI 2007: 112-122 - 2006
- [c20]Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia:
Role-Based access control consistency validation. ISSTA 2006: 121-132 - [c19]Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144 - [c18]Emmanuel Geay, Eran Yahav, Stephen J. Fink:
Continuous code-quality assurance with SAFE. PEPM 2006: 145-149 - 2005
- [j9]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): 399-418 (2005) - [j8]Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney:
A Survey of Adaptive Optimization in Virtual Machines. Proc. IEEE 93(2): 449-466 (2005) - 2003
- [c17]Stephen J. Fink, Feng Qian:
Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. CGO 2003: 241-252 - 2002
- [c16]David F. Bacon, Stephen J. Fink, David Grove:
Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132 - [c15]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: 51-64 - 2001
- [c14]Vivek Sarkar, Stephen J. Fink:
Efficient Dependence Analysis for Java Arrays. Euro-Par 2001: 273-277 - [c13]Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove
, Derek Lieber:
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. OOPSLA 2001: 108-124 - 2000
- [j7]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): 57-81 (2000) - [j6]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): 211-238 (2000) - [j5]Scott B. Baden, Stephen J. Fink:
A Programming Methodology for Dual-Tier Multicomputers. IEEE Trans. Software Eng. 26(3): 212-226 (2000) - [c12]Matthew Arnold, Stephen J. Fink, Vivek Sarkar, Peter F. Sweeney:
A comparative study of static and profile-based heuristics for inlining. Dynamo 2000: 52-64 - [c11]Matthew Arnold, Stephen J. Fink, David Grove
, Michael Hind, Peter F. Sweeney:
Adaptive optimization in the Jalapeño JVM. OOPSLA 2000: 47-65 - [c10]Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F. Sweeney:
Adaptive optimization in the Jalapeño JVM (poster session). OOPSLA Addendum 2000: 125-126 - [c9]Stephen J. Fink, Kathleen Knobe, Vivek Sarkar:
Unified Analysis of Array and Object References in Strongly Typed Languages. SAS 2000: 155-174
1990 – 1999
- 1999
- [j4]John H. Merlin, Scott B. Baden, Stephen Fink, Barbara M. Chapman:
Multiple data parallelism with HPF and KeLP. Future Gener. Comput. Syst. 15(3): 393-405 (1999) - [c8]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: 129-141 - [c7]Scott B. Baden, Stephen J. Fink:
The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. LCPC 1999: 333-349 - 1998
- [j3]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): 61-82 (1998) - [c6]John H. Merlin, Scott B. Baden, Stephen J. Fink, Barbara M. Chapman:
Multiple Data Parallelism with HPF and KeLP. HPCN Europe 1998: 828-839 - [c5]Scott B. Baden, Stephen J. Fink:
Communication overlap in multi-tier parallel algorithms. SC 1998: 33 - 1997
- [j2]Stephen J. Fink, Craig Huston, Scott B. Baden, Karl Jansen:
Parallel Cluster Identification for Multidimensional Lattices. IEEE Trans. Parallel Distributed Syst. 8(11): 1089-1097 (1997) - [c4]Stephen J. Fink, Scott B. Baden:
Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters. ISCOPE 1997: 1-8 - [c3]Scott B. Baden, Robert S. Schreiber, Kang Su Gatlin, Stephen J. Fink:
A Preliminary Evaluation of HPF. PP 1997 - 1996
- [j1]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): 194 (1996) - [c2]Stephen J. Fink, Scott B. Baden, Scott R. Kohn:
Flexible Communication Mechanisms for Dynamic Structured Applications. IRREGULAR 1996: 203-215 - 1995
- [c1]Stephen J. Fink, Scott B. Baden:
Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers. PP 1995: 762-767
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-04 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint