Get started
Author

Stephen J. Fink

Serverless Computing: Current Trends and Open Problems
2017 · Ioana Baldini, Paul Castro, et al. · Springer eBooks · 733
The Jalapeño virtual machine
2000 · B. Alpern, C. R. Attanasio, et al. · IBM Systems Journal · 577
Adaptive optimization in the Jalapeno JVM
2011 · Matthew Arnold, Stephen Fink, et al. · ACM SIGPLAN Notices · 327
TAJ: effective taint analysis of web applications
2009 · Omer Tripp, Marco Pistoia, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 319
The Jalapeño dynamic optimizing compiler for Java
1999 · Michael G. Burke, Jong-Deok Choi, et al. · Joint ACM-ISCOPE Conference on Java Grande · 274
Adaptive optimization in the Jalapeño JVM
2000 · Matthew Arnold, Stephen Fink, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 272
The Jikes Research Virtual Machine project: Building an open-source research community
2005 · B. Alpern, S. Augart, et al. · IBM Systems Journal · 260
Thin slicing
2007 · Manu Sridharan, Stephen J. Fink, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 256
A Survey of Adaptive Optimization in Virtual Machines
2005 · M. Arnold, S.J. Fink, et al. · Proceedings of the IEEE · 216
Effective typestate verification in the presence of aliasing
2008 · Stephen J. Fink, Eran Yahav, et al. · ACM Transactions on Software Engineering and Methodology · 182
The serverless trilemma: function composition for serverless computing
2017 · Ioana Baldini, Perry Cheng, et al. · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 151
Effective typestate verification in the presence of aliasing
2006 · Stephen Fink, Eran Yahav, et al. · International Symposium on Software Testing and Analysis · 146
Static specification mining using automata-based abstractions
2007 · Sharon Shoham, Eran Yahav, et al. · International Symposium on Software Testing and Analysis · 137
Design, implementation and evaluation of adaptive recompilation with on-stack replacement
2003 · Stephen J. Fink, Feng Qian · 128
Snugglebug: a powerful approach to weakest preconditions
2009 · Satish Chandra, Stephen J. Fink, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 126
Serverless Computing: Current Trends and Open Problems
2017 · Baldini, Ioana, Castro, Paul, et al. · arXiv (Cornell University) · 119
PDF
A survey of static analysis methods for identifying security vulnerabilities in software systems
2007 · M. Pistoia, S. Chandra, et al. · IBM Systems Journal · 102
Alias Analysis for Object-Oriented Programs
2013 · Manu Sridharan, Satish Chandra, et al. · Lecture notes in computer science · 101
Compiling a high-level language for GPUs
2012 · Christophe Dubach, Perry Cheng, et al. · ACM SIGPLAN Notices · 100
TAJ: effective taint analysis of web applications
2009 · Omer Tripp, Marco Pistoia, et al. · ACM SIGPLAN Notices · 96
Efficient implementation of Java interfaces: Invokeinterface considered harmless
2001 · Bowen Alpern, Anthony Cocchi, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 89
A comparative study of static and profile-based heuristics for inlining
2000 · Matthew Arnold, Stephen Fink, et al. · 85
PDF
Performance analysis of idle programs
2010 · Erik Altman, Matthew Arnold, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 84
Predicting GPU Performance from CPU Runs Using Machine Learning
2014 · Ioana Baldini, Stephen J. Fink, et al. · International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) · 80
Static Specification Mining Using Automata-Based Abstractions
2008 · S. Shoham, E. Yahav, et al. · IEEE Transactions on Software Engineering · 77
Works count: 81
Citation count: 6,213
H-index: 39
I10-index: 57
Year
Topic
Type