sign in · help · news · about ·

BibSonomy :: author :: Dolby ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(50)

<< < 1 | 2 | 3 > >>

Refactoring Java programs for flexible locking.
Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip ICSE, page 71-80. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
A framework for automated testing of javascript web applications.
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, and Frank Tip ICSE, page 571-580. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Saving the world wide web from vulnerable JavaScript.
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg ISSTA, page 177-187. ACM, (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX
Customization of Java Library Classes Using Type Constraints and Profile Information.
Bjorn De Sutter, Frank Tip, and Julian Dolby ECOOP, volume 3086 of Lecture Notes in Computer Science, page 585-610. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
High-Performance Scalable Java Virtual Machines.
Vivek Sarkar, and Julian Dolby HiPC, volume 2228 of Lecture Notes in Computer Science, page 151-166. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Evaluation High Level Parallel Programming Support for Irregular Applications in ICC++.
Andrew A. Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, and Xingbin Zhang ISCOPE, volume 1343 of Lecture Notes in Computer Science, page 33-40. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, and Michael D. Ernst IEEE Trans. Software Eng. 36(4):474-494 (2010)
to dblp by dblp on Sep 17, 2010, 12:00 AM
URL | BibTeX
On radar time and the twin "paradox"
Carl E. Dolby, and Stephen F. Gull American Journal of Physics 69(12):1257--1261 (2001)
to special\_relativity by richterek on Jul 23, 2010, 7:14 AM
DOI | BibTeX
MemSAT: checking axiomatic specifications of memory models.
Emina Torlak, Mandana Vaziri, and Julian Dolby PLDI, page 341-350. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 4:01 PM
URL | BibTeX
Directed test generation for effective fault localization.
Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia ISSTA, page 49-60. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 4:00 PM
URL | BibTeX
Practical fault localization for dynamic web applications.
Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia ICSE 1, page 265-274. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 4:00 PM
URL | BibTeX
Declarative Object Identity Using Relation Types.
Mandana Vaziri, Frank Tip, Stephen Fink, and Julian Dolby ECOOP, volume 4609 of Lecture Notes in Computer Science, page 54-78. Springer, (2007)
to dblp by dblp on Jul 21, 2010, 3:58 PM
URL | BibTeX
A Type System for Data-Centric Synchronization.
Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, and Jan Vitek ECOOP, volume 6183 of Lecture Notes in Computer Science, page 304-328. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 3:58 PM
URL | BibTeX
Correct Refactoring of Concurrent Java Code.
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, and Frank Tip ECOOP, volume 6183 of Lecture Notes in Computer Science, page 225-249. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 3:58 PM
URL | BibTeX
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, and Stephen Edwards volume 5501 of Lecture Notes in Computer Science, page 48--62. Springer, (Mar 29, 2009)
to Analysis Barrier Clocks Compiler Optimization Synchronization X10 by gron and 1 other user on Jan 18, 2010, 2:47 PM
URL | BibTeX
Scalable highly expressive reasoner SHER.
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, and Kavitha Srinivas J. Web Sem. 7(4):357-361 (2009)
to dblp by dblp on Jan 12, 2010, 12:00 AM
URL | BibTeX
Automatic Inline Allocation of Objects.
Julian Dolby PLDI, page 7-17. (1997)
to dblp by dblp on Jan 10, 2010, 12:00 AM
URL | BibTeX
Extracting Enterprise Vocabularies Using Linked Open Data.
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, and Kavitha Srinivas International Semantic Web Conference, volume 5823 of Lecture Notes in Computer Science, page 779-794. Springer, (2009)
to dblp by dblp on Nov 11, 2009, 12:00 AM
URL | BibTeX
Modular string-sensitive permission analysis with demand-driven precision.
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, and Julian Dolby ICSE, page 177-187. IEEE, (2009)
to dblp by dblp on Jun 16, 2009, 12:00 AM
URL | BibTeX
Scalable cleanup of information extraction data using ontologies
Dolby, J Fan, A Fokoue, A Kalyanpur, A Kershenbaum, L Ma, W Murdock, K Srinivas, and C Welty Lecture notes in computer science (2007)
to imported by darkmatter and 1 other user on May 14, 2009, 2:56 AM
BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100