Stephen J. Fink

Stephen Fink

	2009
37		Satish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374
36		Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
35		Manu Sridharan, Stephen J. Fink: The Complexity of Andersen's Analysis in Practice. SAS 2009: 205-221
	2008
34		Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda: Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224
33		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): (2008)
32		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)
	2007
31		Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
30		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
29		Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
28		Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
27		Marco 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
26		Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia: Role-Based access control consistency validation. ISSTA 2006: 121-132
25		Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
24		Emmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149
	2005
23		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 Systems Journal 44(2): 399-418 (2005)
	2003
22		Stephen J. Fink, Feng Qian: Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. CGO 2003: 241-252
	2002
21		David F. Bacon, Stephen J. Fink, David Grove: Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132
20		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
19		Vivek 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
17		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
16		Matthew 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
14		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 Systems Journal 39(1): 211- (2000)
13		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 Systems Journal 39(1): 57- (2000)
12		Scott B. Baden, Stephen J. Fink: A Programming Methodology for Dual-Tier Multicomputers. IEEE Trans. Software Eng. 26(3): 212-226 (2000)
	1999
11		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
10		Scott B. Baden, Stephen J. Fink: The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. LCPC 1999: 333-349
9		John 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
4		Stephen 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

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

Colors in the list of coauthors