• Publications
  • Influence
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
Associating synchronization constraints with data in an object-oriented language
TLDR
We present a new definition of data races in terms of 11 problematic interleaving scenarios, and prove that it is complete by showing that any execution not exhibiting these scenarios is serializable for a chosen set of locations. Expand
  • 245
  • 24
  • PDF
Building an efficient RDF store over a relational database
TLDR
In this paper, we describe a novel storage and query mechanism for RDF which works on top of existing relational representations. Expand
  • 189
  • 20
  • PDF
A framework for automated testing of javascript web applications
TLDR
We present a framework for feedback-directed automated test generation for JavaScript in which execution is monitored to collect information that directs the test generator towards inputs that yield increased coverage. Expand
  • 182
  • 15
  • PDF
Race detection for web applications
TLDR
We present the first formulation of a happens-before relation for common web platform features, and a logical memory access model for web applications that abstracts away browser implementation details. Expand
  • 91
  • 14
  • PDF
Correlation Tracking for Points-To Analysis of JavaScript
TLDR
We identify correlated dynamic property accesses as a common code pattern that is analyzed very imprecisely by the standard analysis, and show how a novel correlation tracking technique enables us to handle this pattern more precisely, thereby making the analysis more scalable. Expand
  • 102
  • 12
  • PDF
CLAP: recording local executions to reproduce concurrency failures
TLDR
We present CLAP, a new technique to reproduce concurrency bugs without recording any shared memory dependency nor any value or order information. Expand
  • 72
  • 12
  • PDF
Saving the world wide web from vulnerable JavaScript
TLDR
We present Actarus, a novel, product-quality static taint analysis for JavaScript that scales to large programs and soundly models all the JavaScript constructs with the exception of reflective calls. Expand
  • 119
  • 11
  • PDF
Directed test generation for effective fault localization
TLDR
This paper investigates the fault-localization effectiveness of test suites generated according to several test-generation techniques based on combined concrete and symbolic (concolic) execution. Expand
  • 134
  • 10
  • PDF
Finding bugs in dynamic web applications
TLDR
We apply a dynamic test generation technique, based on combined concrete and symbolic execution, to the domain of dynamic Web applications. Expand
  • 162
  • 10
  • PDF