@inproceedings{conf/icse/SchaferSDT11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Schäfer, Max and Sridharan, Manu and Dolby, Julian and Tip, Frank},
  biburl = {http://www.bibsonomy.org/bibtex/2c51101a33895225a8d604744279589a9/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985804},
  interhash = {1d86adbc38c893a65d87d81321efdbf1},
  intrahash = {c51101a33895225a8d604744279589a9},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {71-80},
  publisher = {ACM},
  title = {Refactoring Java programs for flexible locking.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#SchaferSDT11},
  year = 2011
}

@inproceedings{conf/icse/ArtziDJMT11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Artzi, Shay and Dolby, Julian and Jensen, Simon Holm and Møller, Anders and Tip, Frank},
  biburl = {http://www.bibsonomy.org/bibtex/23d9b5df0d91386b5cdf9e3b454e7e9f1/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985871},
  interhash = {f7ab13a0a177e4e277b9b3db622f9a32},
  intrahash = {3d9b5df0d91386b5cdf9e3b454e7e9f1},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {571-580},
  publisher = {ACM},
  title = {A framework for automated testing of javascript web applications.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#ArtziDJMT11},
  year = 2011
}

@inproceedings{conf/issta/GuarnieriPTDTB11,
  added-at = {2011-08-22T00:00:00.000+0200},
  author = {Guarnieri, Salvatore and Pistoia, Marco and Tripp, Omer and Dolby, Julian and Teilhet, Stephen and Berg, Ryan},
  biburl = {http://www.bibsonomy.org/bibtex/2dace8da8ee1ce93be51dc115ed12777e/dblp},
  booktitle = {ISSTA},
  crossref = {conf/issta/2011},
  editor = {Dwyer, Matthew B. and Tip, Frank},
  ee = {http://doi.acm.org/10.1145/2001420.2001442},
  interhash = {018ebe99630a1abb015f00ac2efb553e},
  intrahash = {dace8da8ee1ce93be51dc115ed12777e},
  isbn = {978-1-4503-0562-4},
  keywords = {dblp},
  pages = {177-187},
  publisher = {ACM},
  title = {Saving the world wide web from vulnerable JavaScript.},
  url = {http://dblp.uni-trier.de/db/conf/issta/issta2011.html#GuarnieriPTDTB11},
  year = 2011
}

@inproceedings{conf/ecoop/SutterTD04,
  added-at = {2011-07-07T00:00:00.000+0200},
  author = {Sutter, Bjorn De and Tip, Frank and Dolby, Julian},
  biburl = {http://www.bibsonomy.org/bibtex/23ad7f00ee4e6e0af4e2f118a73faa948/dblp},
  booktitle = {ECOOP},
  crossref = {conf/ecoop/2004},
  editor = {Odersky, Martin},
  ee = {http://dx.doi.org/10.1007/978-3-540-24851-4_27},
  interhash = {63a913ec37a969a96b9d2aad7012a2bb},
  intrahash = {3ad7f00ee4e6e0af4e2f118a73faa948},
  isbn = {3-540-22159-X},
  keywords = {dblp},
  pages = {585-610},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Customization of Java Library Classes Using Type Constraints and Profile Information.},
  url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2004.html#SutterTD04},
  volume = 3086,
  year = 2004
}

@inproceedings{conf/hipc/SarkarD01,
  added-at = {2011-06-28T00:00:00.000+0200},
  author = {Sarkar, Vivek and Dolby, Julian},
  biburl = {http://www.bibsonomy.org/bibtex/2c7ff7f417538c8c01828f23b23f55a13/dblp},
  booktitle = {HiPC},
  crossref = {conf/hipc/2001},
  editor = {Monien, Burkhard and Prasanna, Viktor K. and Vajapeyam, Sriram},
  ee = {http://dx.doi.org/10.1007/3-540-45307-5_14},
  interhash = {c59ee00410c1dce4ef29e97661c6e634},
  intrahash = {c7ff7f417538c8c01828f23b23f55a13},
  isbn = {3-540-43009-1},
  keywords = {dblp},
  pages = {151-166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {High-Performance Scalable Java Virtual Machines.},
  url = {http://dblp.uni-trier.de/db/conf/hipc/hipc2001.html#SarkarD01},
  volume = 2228,
  year = 2001
}

@inproceedings{conf/iscope/ChienDGKZ97,
  added-at = {2011-06-16T00:00:00.000+0200},
  author = {Chien, Andrew A. and Dolby, Julian and Ganguly, Bishwaroop and Karamcheti, Vijay and Zhang, Xingbin},
  biburl = {http://www.bibsonomy.org/bibtex/24ffb3e49d6cf34557aeb6fa46acb2b30/dblp},
  booktitle = {ISCOPE},
  crossref = {conf/iscope/1997},
  editor = {Ishikawa, Yutaka and Oldehoeft, R. R. and Reynders, John and Tholburn, Marydell},
  ee = {http://dx.doi.org/10.1007/3-540-63827-X_41},
  interhash = {3049b1ac592dc4607291541f7f316465},
  intrahash = {4ffb3e49d6cf34557aeb6fa46acb2b30},
  isbn = {3-540-63827-X},
  keywords = {dblp},
  pages = {33-40},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Evaluation High Level Parallel Programming Support for Irregular Applications in ICC++.},
  url = {http://dblp.uni-trier.de/db/conf/iscope/iscope1997.html#ChienDGKZ97},
  volume = 1343,
  year = 1997
}

@article{journals/tse/ArtziKDTDPE10,
  added-at = {2010-09-17T00:00:00.000+0200},
  author = {Artzi, Shay and Kiezun, Adam and Dolby, Julian and Tip, Frank and Dig, Danny and Paradkar, Amit M. and Ernst, Michael D.},
  biburl = {http://www.bibsonomy.org/bibtex/2a1116c8ee3e5e9aa87f47d9da7a7d8ae/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.31},
  interhash = {52d5a8664b7d88220a611ff739117701},
  intrahash = {a1116c8ee3e5e9aa87f47d9da7a7d8ae},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 4,
  pages = {474-494},
  title = {Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse36.html#ArtziKDTDPE10},
  volume = 36,
  year = 2010
}

@article{dolby:2001,
  added-at = {2010-07-23T07:14:55.000+0200},
  author = {Dolby, Carl E. and Gull, Stephen F.},
  biburl = {http://www.bibsonomy.org/bibtex/289c6ad343bae6131f10b20c2e0b28603/richterek},
  doi = {10.1119/1.1407254},
  interhash = {5bca6e4081b90e1fba0423f24fc63387},
  intrahash = {89c6ad343bae6131f10b20c2e0b28603},
  journal = {American Journal of Physics},
  keywords = {special\_relativity},
  mendeley-tags = {special\_relativity},
  number = 12,
  pages = {1257--1261},
  title = {{On radar time and the twin "paradox"}},
  type = {Journal article},
  volume = 69,
  year = 2001
}

@inproceedings{conf/pldi/TorlakVD10,
  added-at = {2010-07-21T16:01:52.000+0200},
  author = {Torlak, Emina and Vaziri, Mandana and Dolby, Julian},
  biburl = {http://www.bibsonomy.org/bibtex/21110953cb2762f476b3946468853cf88/dblp},
  booktitle = {PLDI},
  crossref = {conf/pldi/2010},
  date = {2010-06-07},
  editor = {Zorn, Benjamin G. and Aiken, Alexander},
  ee = {http://doi.acm.org/10.1145/1806596.1806635},
  interhash = {98a721680e3ce25f84e0b1d9b08e761d},
  intrahash = {1110953cb2762f476b3946468853cf88},
  isbn = {978-1-4503-0019-3},
  keywords = {dblp},
  pages = {341-350},
  publisher = {ACM},
  title = {MemSAT: checking axiomatic specifications of memory models.},
  url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#TorlakVD10},
  year = 2010
}

@inproceedings{conf/issta/ArtziDTP10,
  added-at = {2010-07-21T16:00:54.000+0200},
  author = {Artzi, Shay and Dolby, Julian and Tip, Frank and Pistoia, Marco},
  biburl = {http://www.bibsonomy.org/bibtex/2bb743d2836a6c358dd0dfe426b9fbb28/dblp},
  booktitle = {ISSTA},
  crossref = {conf/issta/2010},
  date = {2010-07-14},
  editor = {Tonella, Paolo and Orso, Alessandro},
  ee = {http://doi.acm.org/10.1145/1831708.1831715},
  interhash = {cf157f38c432273be2597d22fc09ec14},
  intrahash = {bb743d2836a6c358dd0dfe426b9fbb28},
  isbn = {978-1-60558-823-0},
  keywords = {dblp},
  pages = {49-60},
  publisher = {ACM},
  title = {Directed test generation for effective fault localization.},
  url = {http://dblp.uni-trier.de/db/conf/issta/issta2010.html#ArtziDTP10},
  year = 2010
}

@inproceedings{conf/icse/ArtziDTP10,
  added-at = {2010-07-21T16:00:07.000+0200},
  author = {Artzi, Shay and Dolby, Julian and Tip, Frank and Pistoia, Marco},
  biburl = {http://www.bibsonomy.org/bibtex/2a7b2b0e544d6a317ebb2c4c0957b9b9a/dblp},
  booktitle = {ICSE (1)},
  crossref = {conf/icse/2010-1},
  date = {2010-06-06},
  editor = {Kramer, Jeff and Bishop, Judith and Devanbu, Premkumar T. and Uchitel, Sebastián},
  ee = {http://doi.acm.org/10.1145/1806799.1806840},
  interhash = {d1bbe9f155337e820e07c673e47057df},
  intrahash = {a7b2b0e544d6a317ebb2c4c0957b9b9a},
  isbn = {978-1-60558-719-6},
  keywords = {dblp},
  pages = {265-274},
  publisher = {ACM},
  title = {Practical fault localization for dynamic web applications.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#ArtziDTP10},
  year = 2010
}

@inproceedings{conf/ecoop/VaziriTFD07,
  added-at = {2010-07-21T15:58:26.000+0200},
  author = {Vaziri, Mandana and Tip, Frank and Fink, Stephen and Dolby, Julian},
  biburl = {http://www.bibsonomy.org/bibtex/2b24fc0a1c4907efcf638a8c77f7d6302/dblp},
  booktitle = {ECOOP},
  crossref = {conf/ecoop/2007},
  date = {2010-07-16},
  editor = {Ernst, Erik},
  ee = {http://dx.doi.org/10.1007/978-3-540-73589-2_4},
  interhash = {6158812c6a889edcabc0335a13afee7b},
  intrahash = {b24fc0a1c4907efcf638a8c77f7d6302},
  isbn = {978-3-540-73588-5},
  keywords = {dblp},
  pages = {54-78},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Declarative Object Identity Using Relation Types.},
  url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2007.html#VaziriTFD07},
  volume = 4609,
  year = 2007
}

@inproceedings{conf/ecoop/VaziriTDHV10,
  added-at = {2010-07-21T15:58:26.000+0200},
  author = {Vaziri, Mandana and Tip, Frank and Dolby, Julian and Hammer, Christian and Vitek, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/22673e9a10bed24e7947f55813ab60063/dblp},
  booktitle = {ECOOP},
  crossref = {conf/ecoop/2010},
  date = {2010-07-01},
  editor = {D'Hondt, Theo},
  ee = {http://dx.doi.org/10.1007/978-3-642-14107-2_15},
  interhash = {159266c9ef0a70b8f749c46a657c2e2f},
  intrahash = {2673e9a10bed24e7947f55813ab60063},
  isbn = {978-3-642-14106-5},
  keywords = {dblp},
  pages = {304-328},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Type System for Data-Centric Synchronization.},
  url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2010.html#VaziriTDHV10},
  volume = 6183,
  year = 2010
}

@inproceedings{conf/ecoop/SchaferDSTT10,
  added-at = {2010-07-21T15:58:26.000+0200},
  author = {Schäfer, Max and Dolby, Julian and Sridharan, Manu and Torlak, Emina and Tip, Frank},
  biburl = {http://www.bibsonomy.org/bibtex/2e064a8941d62d433703ebbc490ddc655/dblp},
  booktitle = {ECOOP},
  crossref = {conf/ecoop/2010},
  date = {2010-07-01},
  editor = {D'Hondt, Theo},
  ee = {http://dx.doi.org/10.1007/978-3-642-14107-2_11},
  interhash = {c0f92b81e78a90cffbce9d531cf51ce1},
  intrahash = {e064a8941d62d433703ebbc490ddc655},
  isbn = {978-3-642-14106-5},
  keywords = {dblp},
  pages = {225-249},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Correct Refactoring of Concurrent Java Code.},
  url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2010.html#SchaferDSTT10},
  volume = 6183,
  year = 2010
}

@inproceedings{nalini2009compiletime,
  abstract = {Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented
using primitive communication mechanisms and thus spare the programmer from reasoning about low-level implementation detailssuch as remote procedure calls and error conditions.},
  added-at = {2010-01-18T14:47:43.000+0100},
  author = {Vasudevan, Nalini and Tardieu, Olivier and Dolby, Julian and Edwards, Stephen},
  biburl = {http://www.bibsonomy.org/bibtex/2e832bbc63079ebce13d22f407a85cc09/gron},
  day = 29,
  interhash = {616c8543792cd62fd6712e92ed84d274},
  intrahash = {e832bbc63079ebce13d22f407a85cc09},
  journal = {Compiler Construction},
  keywords = {Analysis Barrier Clocks Compiler Optimization Synchronization X10},
  month = {March},
  pages = {48--62},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Compile-Time Analysis and Specialization of Clocks in Concurrent Programs},
  url = {http://dx.doi.org/10.1007/978-3-642-00722-4_5},
  volume = 5501,
  year = 2009
}

@article{journals/ws/DolbyFKSS09,
  added-at = {2010-01-12T00:00:00.000+0100},
  author = {Dolby, Julian and Fokoue, Achille and Kalyanpur, Aditya and Schonberg, Edith and Srinivas, Kavitha},
  biburl = {http://www.bibsonomy.org/bibtex/28cc000aaaaab0bcc1d5145612c34cd2a/dblp},
  date = {2010-01-12},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/j.websem.2009.05.002},
  interhash = {8d20cd093b61b582ae19fe0955c50f77},
  intrahash = {8cc000aaaaab0bcc1d5145612c34cd2a},
  journal = {J. Web Sem.},
  keywords = {dblp},
  number = 4,
  pages = {357-361},
  title = {Scalable highly expressive reasoner (SHER).},
  url = {http://dblp.uni-trier.de/db/journals/ws/ws7.html#DolbyFKSS09},
  volume = 7,
  year = 2009
}

@inproceedings{conf/pldi/Dolby97,
  added-at = {2010-01-10T00:00:00.000+0100},
  author = {Dolby, Julian},
  biburl = {http://www.bibsonomy.org/bibtex/24e1893d44a09b00911c47e77ca4af36b/dblp},
  booktitle = {PLDI},
  date = {2010-01-10},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/258915.258918},
  interhash = {771852246a7ac93f31d1376ee047612c},
  intrahash = {4e1893d44a09b00911c47e77ca4af36b},
  keywords = {dblp},
  pages = {7-17},
  title = {Automatic Inline Allocation of Objects.},
  url = {http://dblp.uni-trier.de/db/conf/pldi/pldi97.html#Dolby97},
  year = 1997
}

@inproceedings{conf/semweb/DolbyFKSS09,
  added-at = {2009-11-11T00:00:00.000+0100},
  author = {Dolby, Julian and Fokoue, Achille and Kalyanpur, Aditya and Schonberg, Edith and Srinivas, Kavitha},
  biburl = {http://www.bibsonomy.org/bibtex/21dafad23e9690d51ab84e30a1df3bfd4/dblp},
  booktitle = {International Semantic Web Conference},
  crossref = {conf/semweb/2009},
  date = {2009-11-11},
  description = {dblp},
  editor = {Bernstein, Abraham and Karger, David R. and Heath, Tom and Feigenbaum, Lee and Maynard, Diana and Motta, Enrico and Thirunarayan, Krishnaprasad},
  ee = {http://dx.doi.org/10.1007/978-3-642-04930-9_49},
  interhash = {bcfe054209a971f3a22721d18dd0f7c1},
  intrahash = {1dafad23e9690d51ab84e30a1df3bfd4},
  isbn = {978-3-642-04929-3},
  keywords = {dblp},
  pages = {779-794},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Extracting Enterprise Vocabularies Using Linked Open Data.},
  url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2009.html#DolbyFKSS09},
  volume = 5823,
  year = 2009
}

@inproceedings{conf/icse/GeayPTRD09,
  added-at = {2009-06-16T00:00:00.000+0200},
  author = {Geay, Emmanuel and Pistoia, Marco and Tateishi, Takaaki and Ryder, Barbara G. and Dolby, Julian},
  biburl = {http://www.bibsonomy.org/bibtex/2aef038dd69de17b999afe592ff791126/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2009},
  date = {2009-06-16},
  description = {dblp},
  ee = {http://dx.doi.org/10.1109/ICSE.2009.5070519},
  interhash = {47f2cb19cf159b9beba4c934e64e4cee},
  intrahash = {aef038dd69de17b999afe592ff791126},
  isbn = {978-1-4244-3452-7},
  keywords = {dblp},
  pages = {177-187},
  publisher = {IEEE},
  title = {Modular string-sensitive permission analysis with demand-driven precision.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2009.html#GeayPTRD09},
  year = 2009
}

@article{Dolby:2007p107,
  added-at = {2009-05-14T02:56:30.000+0200},
  author = {Dolby and Fan, J and Fokoue, A and Kalyanpur, A and Kershenbaum, A and Ma, L and Murdock, W and Srinivas, K and Welty, C},
  biburl = {http://www.bibsonomy.org/bibtex/2f414b6d38c59573ddb0a8a0cd60e095a/darkmatter},
  date-added = {2009-05-09 02:52:36 +0200},
  date-modified = {2009-05-09 02:54:31 +0200},
  interhash = {530f5443827383077cee905d2219a21d},
  intrahash = {f414b6d38c59573ddb0a8a0cd60e095a},
  journal = {Lecture notes in computer science},
  keywords = {imported},
  local-url = {file://localhost/Users/tonga/Documents/Papers%20Library/Papers/Scalable%20cleanup%20of%20information%20extraction.pdf},
  pages = 100,
  pmid = {13554665782434194301related:feMho7bYG7wJ},
  rating = {0},
  title = {Scalable cleanup of information extraction data using ontologies},
  uri = {papers://B3A285F5-580C-4264-92DA-60ED4289CFF4/Paper/p107},
  volume = 4825,
  year = 2007
}