dblp.uni-trier.dewww.uni-trier.de

Stephen J. Fink Vis

Stephen Fink

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
37EESatish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374
36EEOmer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
35EEManu Sridharan, Stephen J. Fink: The Complexity of Andersen's Analysis in Practice. SAS 2009: 205-221
2008
34EEAlexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda: Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224
33EEStephen 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)
32EESharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia: Static Specification Mining Using Automata-Based Abstractions. IEEE Trans. Software Eng. 34(5): 651-666 (2008)
2007
31EEMandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
30EEMarco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav: When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE 2007: 478-488
29EESharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
28EEManu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
27EEMarco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav: A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM Systems Journal 46(2): 265-288 (2007)
2006
26EEPaolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia: Role-Based access control consistency validation. ISSTA 2006: 121-132
25EEStephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
24EEEmmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149
2005
23EEBowen 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 Systems Journal 44(2): 399-418 (2005)
2003
22EEStephen J. Fink, Feng Qian: Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. CGO 2003: 241-252
2002
21EEDavid F. Bacon, Stephen J. Fink, David Grove: Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132
20EEBowen 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
19EEVivek Sarkar, Stephen J. Fink: Efficient Dependence Analysis for Java Arrays. Euro-Par 2001: 273-277
18 Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber: Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. OOPSLA 2001: 108-124
2000
17EEMatthew Arnold, Stephen J. Fink, Vivek Sarkar, Peter F. Sweeney: A comparative study of static and profile-based heuristics for inlining. Dynamo 2000: 52-64
16EEMatthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney: Adaptive optimization in the Jalapeño JVM. OOPSLA 2000: 47-65
15 Stephen J. Fink, Kathleen Knobe, Vivek Sarkar: Unified Analysis of Array and Object References in Strongly Typed Languages. SAS 2000: 155-174
14EEBowen 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 Systems Journal 39(1): 211- (2000)
13EESandra 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 Systems Journal 39(1): 57- (2000)
12EEScott B. Baden, Stephen J. Fink: A Programming Methodology for Dual-Tier Multicomputers. IEEE Trans. Software Eng. 26(3): 212-226 (2000)
1999
11EEMichael 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
10EEScott B. Baden, Stephen J. Fink: The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. LCPC 1999: 333-349
9EEJohn H. Merlin, Scott B. Baden, Stephen Fink, Barbara M. Chapman: Multiple data parallelism with HPF and KeLP. Future Generation Comp. Syst. 15(3): 393-405 (1999)
1998
8 John H. Merlin, Scott B. Baden, Stephen J. Fink, Barbara M. Chapman: Multiple Data Parallelism with HPF and KeLP. HPCN Europe 1998: 828-839
7 Stephen J. Fink, Scott B. Baden, Scott R. Kohn: Efficient Run-Time Support for Irregular Block-Structured Applications. J. Parallel Distrib. Comput. 50(1/2): 61-82 (1998)
1997
6 Stephen J. Fink, Scott B. Baden: Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters. ISCOPE 1997: 1-8
5 Scott B. Baden, Robert S. Schreiber, Kang Su Gatlin, Stephen J. Fink: A Preliminary Evaluation of HPF. PPSC 1997
4EEStephen J. Fink, Craig Huston, Scott B. Baden, Karl Jansen: Parallel Cluster Identification for Multidimensional Lattices. IEEE Trans. Parallel Distrib. Syst. 8(11): 1089-1097 (1997)
1996
3 Stephen J. Fink, Scott B. Baden, Scott R. Kohn: Flexible Communication Mechanisms for Dynamic Structured Applications. IRREGULAR 1996: 203-215
2 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)
1995
1 Stephen J. Fink, Scott B. Baden: Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers. PPSC 1995: 762-767

Coauthor Index

1Bowen Alpern [14] [18] [20] [23]
2Matthew Arnold [16] [17]
3Rajiv Arora [13]
4C. Richard Attanasio [14]
5Steve Augart [23]
6David F. Bacon [21]
7Scott B. Baden [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12]
8Eric Barsness [13]
9John J. Barton [14]
10Sandra Johnson Baylor [13]
11Stephen M. Blackburn (Stephen Blackburn) [23]
12Rastislav Bodík [28]
13Michael G. Burke [11] [14]
14Maria A. Butrico [20] [23]
15Paolina Centonze [26]
16Satish Chandra [27] [34] [37]
17Barbara M. Chapman [8] [9]
18Perry Cheng [14] [23]
19Jong-Deok Choi [11] [14]
20Anthony Cocchi [14] [18] [20] [23]
21Murthy V. Devarakonda [13]
22Robert T. Dimpsey [13]
23Julian Dolby [20] [23] [31]
24Nurit Dor [25] [33]
25Robert J. Flynn [30]
26Kang Su Gatlin [5]
27Emmanuel Geay [24] [25] [33]
28Eugene Gluzberg [13]
29William G. Griswold [2]
30David Grove [11] [14] [16] [18] [20] [21] [23]
31Michael Hind [11] [14] [16] [23]
32Susan Flynn Hummel [14]
33Craig Huston [4]
34Karl Jansen [4]
35Michael H. Kalantar [13]
36Kathleen Knobe [15]
37Scott R. Kohn [2] [3] [7]
38Derek Lieber [14] [18]
39Vassily Litvinov [14]
40Alexey Loginov [34]
41Kathryn S. McKinley [23]
42Mark F. Mergen [14] [23]
43John H. Merlin [8] [9]
44J. Eliot B. Moss [23]
45Steven J. Munroe [13]
46Prakash Muttineni [13]
47Mangala Gowri Nanda [34]
48Gleb Naumovich [26]
49Ton Anh Ngo (Ton Ngo) [14] [20] [23]
50Marco Pistoia [26] [27] [29] [30] [32] [36]
51Feng Qian [22]
52G. Ramalingam (Ganesan Ramalingam) [25] [33]
53Noam Rinetzky [34]
54James R. Russell [14]
55Vivek Sarkar [11] [14] [15] [17] [19] [23]
56Robert S. Schreiber [5]
57Mauricio J. Serrano [11] [14]
58Janice C. Shepherd [14]
59Sharon Shoham [29] [32]
60Stephen E. Smith [14]
61Vugranam C. Sreedhar [11] [14]
62Manu Sridharan [28] [35] [36] [37]
63Harini Srinivasan [11] [14]
64Peter F. Sweeney [16] [17]
65Frank Tip [31]
66Martin Trapp [23]
67Omer Tripp [36]
68Mandana Vaziri [31]
69Omri Weisman [36]
70John Whaley [11] [14]
71Richard Wolski [2]
72Eran Yahav [24] [25] [27] [29] [30] [32] [33] [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)