Julian T Dolby

Publications
Influence

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

Associating synchronization constraints with data in an object-oriented language

M. Vaziri, F. Tip, Julian T Dolby
Computer Science
POPL '06
11 January 2006

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

Building an efficient RDF store over a relational database

Mihaela A. Bornea, Julian T Dolby, +4 authors B. Bhattacharjee
Computer Science
SIGMOD '13
22 June 2013

In this paper, we describe a novel storage and query mechanism for RDF which works on top of existing relational representations. Expand

A framework for automated testing of javascript web applications

Shay Artzi, Julian T Dolby, S. Jensen, Anders Møller, F. Tip
Computer Science
33rd International Conference on Software…
21 May 2011

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

Race detection for web applications

B. Petrov, Martin T. Vechev, Manu Sridharan, Julian T Dolby
Computer Science
PLDI '12
11 June 2012

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

Correlation Tracking for Points-To Analysis of JavaScript

Manu Sridharan, Julian T Dolby, S. Chandra, Max Schäfer, F. Tip
Computer Science
ECOOP
11 June 2012

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

CLAP: recording local executions to reproduce concurrency failures

Jeff Huang, Charles J. Zhang, Julian T Dolby
Computer Science
PLDI
16 June 2013

We present CLAP, a new technique to reproduce concurrency bugs without recording any shared memory dependency nor any value or order information. Expand

Saving the world wide web from vulnerable JavaScript

S. Guarnieri, Marco Pistoia, O. Tripp, Julian T Dolby, Stephen Teilhet, R. Berg
Computer Science
ISSTA '11
17 July 2011

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

Directed test generation for effective fault localization

Shay Artzi, Julian T Dolby, F. Tip, Marco Pistoia
Computer Science
ISSTA '10
12 July 2010

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

Finding bugs in dynamic web applications

Shay Artzi, Adam Kiezun, +4 authors Michael D. Ernst
Computer Science
ISSTA '08
20 July 2008

We apply a dynamic test generation technique, based on combined concrete and symbolic execution, to the domain of dynamic Web applications. Expand

Recommended Authors