Stephen J. Fink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
13
Active years
1998–2019
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ISSTA | From typestate verification to interpretable deep models (invited talk abstract). | Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2017 | OOPSLA | 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 |
| 2016 | ICSE | 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 |
| 2014 | OOPSLA | Translating imperative code to MapReduce. | Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan |
| 2014 | SBAC-PAD | Predicting GPU Performance from CPU Runs Using Machine Learning. | Ioana Baldini, Stephen J. Fink, Erik R. Altman |
| 2013 | ASPDAC | The Liquid Metal IP bridge. | Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla |
| 2012 | DAC | 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 |
| 2012 | PLDI | 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 |
| 2009 | PLDI | Snugglebug: a powerful approach to weakest preconditions. | Satish Chandra, Stephen J. Fink, Manu Sridharan |
| 2009 | PLDI | TAJ: effective taint analysis of web applications. | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
| 2009 | SAS | The Complexity of Andersen's Analysis in Practice. | Manu Sridharan, Stephen J. Fink |
| 2007 | ICSE | When Role Models Have Flaws: Static Validation of Enterprise Security Policies. | Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav |
| 2007 | PLDI | Thin slicing. | Manu Sridharan, Stephen J. Fink, Rastislav Bodk |
| 2006 | ISSTA | Role-Based access control consistency validation. | Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
| 2006 | ISSTA | Effective typestate verification in the presence of aliasing. | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2006 | PEPM | Continuous code-quality assurance with SAFE. | Emmanuel Geay, Eran Yahav, Stephen J. Fink |
| 2003 | CGO | Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. | Stephen J. Fink, Feng Qian |
| 2002 | ECOOP | Space- and Time-Efficient Implementation of the Java Object Model. | David F. Bacon, Stephen J. Fink, David Grove |
| 2001 | EuroPar | Efficient Dependence Analysis for Java Arrays. | Vivek Sarkar, Stephen J. Fink |
| 2001 | OOPSLA | Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. | Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber |
| 2000 | OOPSLA | Adaptive optimization in the Jalapeo JVM. | Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney |
| 2000 | SAS | Unified Analysis of Array and Object References in Strongly Typed Languages. | Stephen J. Fink, Kathleen Knobe, Vivek Sarkar |
| 1998 | SC | Communication overlap in multi-tier parallel algorithms. | Scott B. Baden, Stephen J. Fink |