DolbyJulian

发表

Scalable highly expressive reasoner (SHER)

DolbyJulian, FokoueAchille, KalyanpurAditya, 2009 .

Type-Based Call Graph Construction Algorithms for Scala

TipFrank, LhotákOndřej, DolbyJulian, 2015 .

Dynamic determinacy analysis

TipFrank, SridharanManu, DolbyJulian, 2013 .

A data-centric approach to synchronization

TipFrank, VitekJan, DolbyJulian, 2012 .

An automatic object inlining optimization and its evaluation

DolbyJulian, ChienAndrew, 2000 .

Race detection for web applications

SridharanManu, DolbyJulian, VechevMartin, 2012 .

An evaluation of automatic object inline allocation techniques

DolbyJulian, A ChienAndrew, 1998 .

Associating synchronization constraints with data in an object-oriented language

TipFrank, DolbyJulian, VaziriMandana, 2006 .