Stephen J. Fink

Publications
Influence

B. Alpern, C. R. Attanasio, +20 authors J. Whaley
Computer Science
IBM Syst. J.
2000

Jalapeno is a virtual machine for Java servers written in the Java language. Expand

The Jikes Research Virtual Machine project: Building an open-source research community

B. Alpern, S. Augart, +13 authors M. Trapp
Computer Science
IBM Syst. J.
21 January 2005

This paper describes the evolution of the JikesTM Research Virtual Machine project from an IBM internal research project, called Jalapeno, into an open-source project. Expand

Adaptive optimization in the Jalapeño JVM

M. Arnold, Stephen J. Fink, David Grove, M. Hind, P. F. Sweeney
Computer Science
OOPSLA
2000

Jalapeño Adaptive Optimization System, a system to support leading-edge virtual machine technology and enable ongoing research on online feedback-directed optimizations. Expand

TAJ: effective taint analysis of web applications

O. Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman
Computer Science
PLDI '09
15 June 2009

Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis can detect many… Expand

Effective typestate verification in the presence of aliasing

Stephen J. Fink, Eran Yahav, N. Dor, G. Ramalingam, E. Geay
Computer Science
ISSTA '06
21 July 2006

This paper addresses the challenge of sound typestate verification, with acceptable precision, for real-world Java programs. Expand

Serverless Computing: Current Trends and Open Problems

Ioana Baldini, P. Castro, +8 authors P. Suter
Computer Science
Research Advances in Cloud Computing
10 June 2017

We survey existing serverless platforms from industry, academia, and open-source projects, identify key characteristics and use cases, identify technical challenges and open problems. Expand

Thin slicing

Manu Sridharan, Stephen J. Fink, Rastislav Bodík
Computer Science
PLDI '07
15 June 2007

A thin slice consists only of producer statements for the seed, i.e., those statements that help compute and copy avalue to the seed. Expand

Design, implementation and evaluation of adaptive recompilation with on-stack replacement

Stephen J. Fink, F. Qian
Computer Science
International Symposium on Code Generation and…
23 March 2003

We present a new, simple, mostly compiler-independent mechanism to transfer execution between compiled versions, even while a method runs. Expand

A Survey of Adaptive Optimization in Virtual Machines

M. Arnold, Stephen J. Fink, David Grove, M. Hind, P. F. Sweeney
Computer Science
Proceedings of the IEEE
27 June 2005

This paper surveys the evolution and current state of adaptive optimization technology in virtual machines. Expand

Snugglebug: a powerful approach to weakest preconditions

S. Chandra, Stephen J. Fink, Manu Sridharan
Computer Science
PLDI '09
15 June 2009

Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. Expand

Recommended Authors