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


more information

More information:  WALA site  |  JSTools 2012  |  JSTools 2013  |  CLAP (PLDI 2013 paper)  |  ICfinder (FSE 2013 paper)  |  Jikes RVM  |  JSTools 2014  |  DECAF workshop site  |  JSTools 2016  |  JSTools 2015


2012

AUTOMATED DISCOVERY OF PROGRAMMATIC RESOURCES
J.T. Dolby, R.T. Goodwin, A.A. Ivan, I.A. Naumov, M.R. Kumar Singh
US Patent 20,120,005,647


2011

Scaleable ontology reasoning to explain inferences made by a tableau reasoner
J.T. Dolby, A.A. Kalyanpur, A.S.J. Kershenbaum, A.B. Fokoue-Nkoutche, L. Ma, E.G. Schonberg, K. Srinivas, others
US Patent 7,904,401


2010

Correct Refactoring of Concurrent Software
Julian Dolby, Max Schaefer, Manu Sridharan, Frank Tip, Emina Torlak
US Patent App. 12/718,648




2009


FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS
S Artzi, J Dolby, TIP Frank
US Patent App. 12/502,519

STATIC CODE ANALYSIS FOR PACKAGED APPLICATION CUSTOMIZATION
J.T. Dolby, R.T. Goodwin, A.A. Ivan, M.R.K. Singh
US Patent App. 12/569,515



2008



2007

AUTOMATIC CUSTOMIZATION OF CLASSES
B De Sutter, J Dolby, F Tip
US Patent App. 20,080/082,972