Stephen J. Fink

Stephen Fink

2008
34	EE	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	EE	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	EE	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	EE	Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
30	EE	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	EE	Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
28	EE	Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
27	EE	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	EE	Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia: Role-Based access control consistency validation. ISSTA 2006: 121-132
25	EE	Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
24	EE	Emmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149
2005
23	EE	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	EE	Stephen J. Fink, Feng Qian: Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. CGO 2003: 241-252
2002
21	EE	David F. Bacon, Stephen J. Fink, David Grove: Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132
20	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Scott B. Baden, Stephen J. Fink: A Programming Methodology for Dual-Tier Multicomputers. IEEE Trans. Software Eng. 26(3): 212-226 (2000)
1999
11	EE	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	EE	Scott B. Baden, Stephen J. Fink: The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. LCPC 1999: 333-349
9	EE	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	EE	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]
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]
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]
63	Harini Srinivasan	[11] [14]
64	Peter F. Sweeney	[16] [17]
65	Frank Tip	[31]
66	Martin Trapp	[23]
67	Mandana Vaziri	[31]
68	John Whaley	[11] [14]
69	Richard Wolski	[2]
70	Eran Yahav	[24] [25] [27] [29] [30] [32] [33] [34]

Colors in the list of coauthors