Stephen J. Fink

48 papers A* 6A 9B 3C 2Journal 12Unranked 15

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