• Publications
  • Influence
The Jalapeño virtual machine
TLDR
Jalapeno is a virtual machine for Java servers written in the Java language. Expand
  • 602
  • 70
  • PDF
The Jikes Research Virtual Machine project: Building an open-source research community
TLDR
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
  • 246
  • 36
  • PDF
Adaptive optimization in the Jalapeño JVM
TLDR
Jalapeño Adaptive Optimization System, a system to support leading-edge virtual machine technology and enable ongoing research on online feedback-directed optimizations. Expand
  • 324
  • 27
  • PDF
TAJ: effective taint analysis of web applications
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 manyExpand
  • 297
  • 26
  • PDF
Effective typestate verification in the presence of aliasing
TLDR
This paper addresses the challenge of sound typestate verification, with acceptable precision, for real-world Java programs. Expand
  • 246
  • 25
  • PDF
Serverless Computing: Current Trends and Open Problems
TLDR
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
  • 254
  • 20
  • PDF
Thin slicing
TLDR
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
  • 205
  • 16
  • PDF
Design, implementation and evaluation of adaptive recompilation with on-stack replacement
TLDR
We present a new, simple, mostly compiler-independent mechanism to transfer execution between compiled versions, even while a method runs. Expand
  • 145
  • 13
A Survey of Adaptive Optimization in Virtual Machines
TLDR
This paper surveys the evolution and current state of adaptive optimization technology in virtual machines. Expand
  • 223
  • 12
  • PDF
Snugglebug: a powerful approach to weakest preconditions
TLDR
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. Expand
  • 112
  • 12
  • PDF