Julian Dolby  Julian Dolby photo       

contact information

Research in program analysis, testing, and the semantic Web
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2452

links



2012

Correlation Tracking for Points-to Analysis of Javascript
M. Sridharan, J. Dolby, S. Chandra, M. Schaefer, F. Tip
European Conference on Object Oriented Programming (ECOOP), pp. 435--458, Springer, 2012
Abstract

A data-centric approach to synchronization
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 34(1), 4, ACM, 2012

Fault Localization for Dynamic Web Applications
S Artzi, J Dolby, F Tip, M Pistoia
IEEE Transactions on Software Engineering 38(2), 314-335, Published by the IEEE Computer Society, 2012


2011

Saving the world wide web from vulnerable JavaScript.
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg
International Symposium on Software Testing and Analysis, pp. 177--187, 2011

A Framework for Automated Testing of JavaScript Web Applications
S Artzi, J Dolby, S Jensen, A Moeller, F Tip
International Conference on Software Engineering (ICSE 2011), pp. 571--580

Refactoring Java Programs for Flexible Locking
Max Schaefer, Manu Sridharan, Julian Dolby, Frank Tip
International Conference on Software Engineering (ICSE), pp. 71--80, 2011

Finding concurrency-related bugs using random isolation
Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri
International journal on software tools for technology transfer 13(6), 495--518, Springer, 2011


2010

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst
IEEE Transactions on Software Engineering 36(4), 453-473, IEEE, 2010

d2c: Deterministic, deadlock-free concurrency
N Vasudevan, S A Edwards, J Dolby, V Saraswat
High Performance Computing-Student Research Symposium, 2010

Correct Refactoring of Concurrent Java Code
Max Schaefer, Julian Dolby, Manu Sridharan, Frank Tip, Emina Torlak
European Conference on Object-Oriented Programming (ECOOP), pp. 225--249, Springer, 2010

Directed Test Generation for Effective Fault Localization
S Artzi, J Dolby, F Tip, and M Pistoia
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2010), pp. 49-60

MemSAT: checking axiomatic specifications of memory models
Emina Torlak, Mandana Vaziri, Julian Dolby
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation (PLDI'10), pp. 341--350, ACM

A Type System for Data-Centric Synchronization
M Vaziri, F Tip, J Dolby, C Hammer, J Vitek
Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), pp. 304-328, Springer

Practical fault localization for dynamic web applications
S. Artzi, J. Dolby, F. Tip, M. Pistoia
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 1, pp. 265--274, 2010


2009

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking
M Ernst, F Tip, M D Ernst, D Dig, J Dolby, A Kiezun, S Artzi, A Paradkar, others
2009 - dspace.mit.edu

Extracting enterprise vocabularies using linked open data
J Dolby, A Fokoue, A Kalyanpur, E Schonberg, K Srinivas
The Semantic Web-ISWC 2009, 779--794, Springer

Compile-time analysis and specialization of clocks in concurrent programs
N. Vasudevan, O. Tardieu, J. Dolby, S.A. Edwards
Compiler Construction. CC'09, pp. 48--62, 2009

Modular string-sensitive permission analysis with demand-driven precision
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G Ryder, Julian Dolby
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on, pp. 177--187

Scalable highly expressive reasoner (sher)
J Dolby, A Fokoue, A Kalyanpur, E Schonberg, K Srinivas
Journal of Web Semantics: Science, Services and Agents on the World Wide Web 7(4), 357--361, Elsevier, 2009

Extracting enterprise vocabulary using linked open data
J Dolby, A Fokoue, A Kalyanpur, K Srinivas, E Schonberg
8th International Semantic Web Conference (ISWC) 2009


Efficient reasoning on large SHIN Aboxes in relational databases
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma, Chintan Patel, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun
Proceedings of the 5th International Workshop on Scalable Semantic Web knowledge Base Systems (SSWS2009), pp. 110--125


2008

Scalable grounded conjunctive query evaluation over large and expressive knowledge bases
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun
The Semantic Web-ISWC 2008, pp. 403--418, Springer

Analysis of clocks in x10 programs (extended)
N Vasudevan, O Tardieu, J Dolby, S A Edwards
Technical Report, 2008

Scalable grounded conjunctive query evaluation over large and expressive knowledge bases
J Dolby, A Fokoue, A Kalyanpur, L Ma, E Schonberg, K Srinivas, X Sun
Proc of International Semantic Web Conference (ISWC) 2008, pp. 403--418, Springer

Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases
J Dolby, A Fokoue, A Kalyanpur, L Ma, E Schonberg, …
The Semantic Web-Iswc 2008: 7th International Semantic Web …, 2008 - books.google.com

Dynamic detection of atomic-set-serializability violations
C Hammer, J Dolby, M Vaziri, F Tip
Proceedings of the 13th international conference on Software …, 2008 - portal.acm.org

Finding bugs in dynamic web applications
M Ernst, S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, M D Ernst
dspace.mit.edu, 2008


2007

Finding Bugs Efficiently with a SAT Solver
J Dolby, M Vaziri, F Tip
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pp. 54-78

Declarative Object Identity Using Relation Types
M Vaziri, F Tip, S Fink, J Dolby
Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), pp. 54-78

Matching patient records to clinical trials using ontologies
C Patel, J Cimino, J Dolby, A Fokoue, A Kalyanpur, A Kershenbaum, L Ma, E Schonberg, K Srinivas
Proc of International Semantic Web Conference (ISWC), pp. 816, Springer, 2007

Scalable cleanup of information extraction data using ontologies
J Dolby, J Fan, A Fokoue, A Kalyanpur, A Kershenbaum, L Ma, JW Murdock, K Srinivas, C Welty
Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference, pp. 100--113, Springer, 2007
Abstract

Scalable semantic retrieval through summarization and refinement
J Dolby, A Fokoue, A Kalyanpur, A Kershenbaum, E Schonberg, K Srinivas, L Ma
Proceedings of the National Conference on Artificial Intelligence (AAAI-07), pp. 299, 2007


2006

SAFARI: A meta-tooling framework for generating language-specific IDE's
Philippe Charles, Julian Dolby, Robert M Fuhrer, Stanley M Sutton Jr, Mandana Vaziri
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 722--723, 2006

Associating Synchronization Constraints with Data in an Object-Oriented Language
M Vaziri, F Tip, J Dolby
Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), pp. 334-345, 2006

SAFARI: a meta-tooling framework for generating language-specific IDE's
Philippe Charles, Julian Dolby, Robert M Fuhrer, STANLEY M SUTTON, Mandana Vaziri
OOPSLA 2006 Demonstration - Companion to the 21st ACM SIGPLAN OOPSLA Symposium


2005

Efficiently Refactoring Java Applications to Use Generic Libraries
R Fuhrer, F Tip, A Kiezun, J Dolby, M Keller
Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP'2005), pp. 71-96

Using Static Analysis For IDEs for Dynamic Languages
J Dolby
The Eclipse Languages Symposium, 2005 - eclipse.org


The Jikes research virtual machine project: building an open-source research community
Bowen Alpern, Stephen Augart, Stephen M Blackburn, Maira Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen Fink, David Grove, Michael Hind, Kathryn S McKinley, Mark Mergen, J Eliot B Moss, Ton Ngo, Vivek Sarkar
IBM System Journal 44(2), 399--417, IBM Corp., 2005


2004

Validating structural properties of nested objects
D Reimer, E Schonberg, K Srinivas, H Srinivasan, J Dolby, A Kershenbaum, L Koved
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 294--304, Vancouver, BC, Canada, 2004
Abstract

Customization of Java Library Classes Using Type Constraints and Profile Information
B De Sutter, F Tip, J Dolby
Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'2004),, pp. 585-610

Semi-automatic J2EE transaction configuration
S Fink, J Dolby, L Colby
IBM Research Report RC23326, 2004


2002

Experiences porting the Jikes RVM to Linux/IA32
Bowen Alpern, Maria Butrico, Anthony Cocchi, Julian Dolby, Stephen J Fink, David Grove, Ton Ngo
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, pp. 51--64, 2002

Experiences Porting the Jikes RVM to Linux/IA32
Bowen Alpern, Maria Butrico, Anthony Cocchi, Julian Dolby, Stephen J Fink, David Grove, Ton Ngo
Proceedings of the 2nd Java Virtual Machine Symposium, pp. 51--64, USENIX Association, 2002


2001

High-Performance Scalable Java Virtual Machines
V Sarkar, J Dolby
LECTURE NOTES IN COMPUTER SCIENCE, 2001 - Springer


2000

An automatic object inlining optimization and its evaluation
J Dolby, A Chien
ACM SIGPLAN Notices, pp. 345--357, 2000


1998

An evaluation of automatic object inline allocation techniques
Julian Dolby, Andrew A Chien
ACM SIGPLAN Notices 33(10), 1--20, ACM, 1998


1997

Automatic inline allocation of objects
Julian Dolby
ACM SIGPLAN Notices, pp. 7--17, 1997

Supporting high level programming with high performance: The Illinois Concert system
A Chien, J Dolby, B Ganguly, V Karamcheti, X Zhang
Proceedings of the 1997 Workshop on High-Level Programming …, 1997 - doi.ieeecs.org

Evaluating High Level Parallel Programming Support for Irregular Applications in ICC++
AA Chien, J Dolby, B Ganguly, V Karamcheti, X …
Scientific Computing in Object-Oriented Parallel …, 1997 - books.google.com


1996

ICC++-a C++ dialect for high performance parallel computing
Andrew A Chien, Uday S Reddy, John Plevyak, Julian Dolby
Object Technologies for Advanced Software, pp. 76--95, Springer, 1996


1994

A CASE STUDY IN IRREGULAR PARALLEL PROGRAMMING
A CHIEN, M STRAKA, J DOLBY, V KARAMCHETI, J …
Specification of Parallel Algorithms: DIMACS Workshop, May 9 …, 1994 - books.google.com


Year Unknown


Experiences Porting the Jikes RV M to
B Alpern, M Butrico, A Cocchi, J Dolby, S Fink, D Grove, T Ngo
Citeseer, Citeseer, 0

Directed Test Generation for Improved Fault Localization
S. Artzi, J. Dolby, F. Tip, M. Pistoia
domino.research.ibm.com, 0

Query Anomalies
Mandana Vaziri Vladimir Gapeyev, Stephen Fink, Frank Tip, Julian Dolby
mcs.vuw.ac.nz, 0


Chianti: A prototype change impact analysis tool for Java
X Ren, F Shah, F Tip, BG Ryder, O Chesley, J Dolby
sciris.shu.edu, 0

Refactoring techniques for migrating applications to generic Java container classes
F Tip, R Fuhrer, J Dolby, A Kiezun
IBM Research Report RC - domino.research.ibm.com, 0