Stephen Fink's publications

Disclaimer

Dissertation

• A Programming Model for Block-Structured Scientific Calculations on SMP Clusters , Department of Computer Science and Engineering, UCSD, June 1998.

Dynamic Compilation and Java

• The Complexity of Andersen's Analysis in Practice. Manu Sridharan and Stephen J. Fink. To appear in The 16th International Static Analysis Symposium (SAS 2009).

• Snugglebug: A Powerful Approach To Weakest Preconditions. Satish Chandra, Stephen J. Fink, and Manu Sridharan. ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009).

• Effective Taint Analysis for Java. Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, and Omri Weisman. Accepted for Publication in Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, June 2009

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

• Verifying dereference safety via expanding-scope analysis Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Nanda July 2008 ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis

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

• Static Specification Mining Using Automata-Based Abstractions. Sharon Shoham, Eran Yahav, Stephen Fink, and Marco Pistoia, ISSTA 2007.

• Thin Slicing . Manu Sridharan, Stephen Fink, and Ras Bodik, PLDI 2007.

• Declarative Object Identity using Relation Types Mandana Vaziri, Frank Tip, Stephen Fink, and Julian Dolby, ECOOP 2007.

• When Role Models Have Flaws: Static Validation of Enterprise Security Policies. Marco Pistoia, Stephen J. Fink, Robert J. Flynn, and Eran Yahav. Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007.

• Effective Typestate Verification in the Presence of Aliasing , Stephen Fink, Eran Yahav, Nurit Dor, Ramalingam, and Emmanuel Geay, ISSTA 06, July 2006.

• Role-Based Access Control Consistency Validation , Paolina Centonze, Gleb Naumovich, Stephen Fink, and Marco Pistoia, ISSTA 06, July 2006.

• Scalable and Flexible Error Detection , Emmanuel Geay, Eran Yahav, and Stephen Fink, PEPM 06 tools track, January 2006.

• The Jikes RVM Project: Building an Open Source Research Community , Alpern, Augart, Blackburn, Butrico, Cocchi, Cheng, Dolby, Fink, Fink, Grove, Hind, McKinley, Mergen, Moss, Ngo, Sarkar, and Trapp. IBM Systems Journal, 44(2), May 2005.

• A Survey of Adaptive Optimization in Virtual Machines , M. Arnold, S. Fink, D. Grove, M. Hind, and P. Sweeney, Proceedings of the IEEE, 92(2), February 2005, pp. 449-466.

• Architecture and Policy for Adaptive Optimization in Virtual Machines , M. Arnold, S. Fink, D. Grove, M. Hind, and P. Sweeney, IBM Research Report RC23429, November 2004.

• Semi-Automatic J2EE Transaction Configuration , S. Fink, J. Dolby, and L. Colby, IBM Research Report RC23326, 2004.

• Design, Implementation, and Evaluation of Adaptive Recompilation with On-Stack Replacement , S. Fink and F. Qian, CGO 2003, March 2003.

• Experiences Porting the Jikes RVM to Linux/IA32 , B. Alpern, M. Butrico, A. Cocchi, J. Dolby, S.Fink, D. Grove, and T. Ngo, in USENIX JVM 02, August 2002.

• Space- and Time-Efficient Implementation of the Java Object Model , D. Bacon, S. Fink, and D. Grove, in ECOOP 2002, June 2002.

• Efficient Implementation of Java Interfaces: invokeinterface Considered Harmless , B .Alpern, A. Cocchi, S. Fink, D. Grove, and D. Lieber, in OOPSLA 2001, October 2001.

• Efficent Dependence Analysis for Java Arrays, V.Sarkar and S. Fink, in EURO_PAR 2001, September 2001.

• Adaptive Optimization in the Jalapeno JVM: The Controller's Analytic Model , M. Arnold, S. Fink, D. Grove, M.Hind, and P. Sweeney, in The 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), December 2000.

• Adaptive Optimization in the Jalapeno JVM , M. Arnold, S. Fink, D. Grove, M.Hind, and P. Sweeney, in OOPSLA 2000 , October 2000.

• Unified Analysis of Array and Object Reference in Strongly Typed Languages , S. Fink, K. Knobe, and V. Sarkar, in Proceedings of the 2000 Static Analysis Symposium , (Santa Barbara, CA), June 2000.

• An Evaluation of Java System Services with Microbenchmarks , E. Gluzberg and S. J. Fink, IBM Research Report RC 21715 (97798), April 2000.

• The Jalapeno Virtual Machine , B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley, IBM Systems Journal v. 39, n. 1, February 2000.

• Java Server Benchmarks , S. J. Baylor, M. Devarakonda, S. Fink, E. Gluzberg, M. Kalantar, P. Muttineni, E. Barsness, R. Arora, R. Dimpsey, and S. J. Munroe, IBM Systems Journal v. 39, n. 1, February 2000.

• A Comparative Study of Static and Profile-Based Heuristics for Inlinining , M. Arnold, S.Fink, P. Sweeney, and V. Sarkar, in proceedings of The 2000 Dynamo Workshop on Dynamic Optimization, (Boston, MA), January 2000.

• The Jalapeno Dynamic Optimizing Compiler for Java , M. Burke, J. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. Serrano, V. Sreedhar, H. Srinivasan, and J. Whaley, in proceedings of The 1999 ACM Java Grande Conference , (San Francisco, CA), June 1999.

KeLP

• A Programming Methodology for Dual-tier Multicomputers, S. Baden and S.Fink, IEEE Transactions on Software Engineering v.26, no.3, March 2000.

• The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion, S. Baden and S.Fink, 1999 Workshop on Languages and Compilers for Parallel Computing , (San Diego, CA), August 1999.

• Multiple Data Parallelism with HPF and KeLP, J. Merlin, S. Baden, S.Fink, and B. Chapman, J. Future Generation Computer Systems , (15)3 (1999) pp.393-405.

• Efficient Run-time Support for Irregular Block-Structured Applications, S. J. Fink, S. B. Baden, S. R. Kohn, Journal of Parallel and Distributed Computing , 50(1-2), April-May 1998, pp. 61-82.

• Multiple data parallelism with HPF and KeLP, J. H. Merlin, S. B. Baden, S. J. Fink and B. M. Chapman, in Proceedings of HPCN '98 (Netherlands, Amsterdam), April 1998.

• Runtime Support for Multi-Tier Programming of Block-Structured Applications on SMP clusters, S. J. Fink and S. B. Baden, Proceedings of the 1997 International Scientific Computing in Object-Oriented Parallel Environments Conference, (Marina Del Rey, CA), December 1997.

• Flexible Communication Mechanisms for Dynamic Structured Applications, S. J. Fink, S. R. Kohn, and S. B. Baden, Proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems , (Santa Barbara, CA), August 1996.

Parallel Algorithms

• Communication Overlap in Multi-Tier Parallel Algorithms , S. Baden and S. Fink, in Proceedings of SC '98 , (Orlando, FL), November 1998.

• Parallel Cluster Identification for Multidimensional Lattices, S. J. Fink, C. Huston, S. B. Baden, and K. Jansen, IEEE Transactions on Parallel and Distributed Systems , v.8, n.11, Nov. 1997.

• Cluster Identification on a Distributed Memory Multiprocessor, S. J. Fink, S. B. Baden, and K. Jansen, March 1994, Proceedings of the 1994 Scalable High Performance Computing Conference, (Knoxville, Tennessee), May 1994.

Parallel Programming

• A Preliminary Evaluation of HPF, S. B. Baden, R. Schreiber, K. S Gatlin, and S. J. Fink, Proceedings of the 8th SIAM Conference on Parallel Proc. for Scientific Computing, (Minneapolis, MN), March 1997.

• Programming Language Requirements for the Next Millennium, W. G. Griswold, R. Wolski, S. B. Baden, S. J. Fink, and S. R. Kohn, ACM Computing Surveys , v.28A, n.4, Dec. 1996.

• Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers, S. J. Fink and S. B. Baden, Proceedings of the 7th SIAM Conference on Parallel Processing for Scientific Computing, (San Francisco, CA), February 1995.

• Programming with LPARX, S. B. Baden, S. R. Kohn, and S. J. Fink, Proceedings of Intel Supercomputer User's Group Meeting, (San Diego, CA), June 1994.