BibSonomy publications for /author/Dolby

Refactoring Java programs for flexible locking.

dblp — 2012-01-28T00:00:00+01:00

Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip ICSE, page 71-80. ACM, (2011)

A framework for automated testing of javascript web applications.

dblp — 2012-01-28T00:00:00+01:00

Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, and Frank Tip ICSE, page 571-580. ACM, (2011)

Saving the world wide web from vulnerable JavaScript.

dblp — 2011-08-22T00:00:00+02:00

Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg ISSTA, page 177-187. ACM, (2011)

Customization of Java Library Classes Using Type Constraints and Profile Information.

dblp — 2011-07-07T00:00:00+02:00

Bjorn De Sutter, Frank Tip, and Julian Dolby ECOOP, volume 3086 of Lecture Notes in Computer Science, page 585-610. Springer, (2004)

High-Performance Scalable Java Virtual Machines.

dblp — 2011-06-28T00:00:00+02:00

Vivek Sarkar, and Julian Dolby HiPC, volume 2228 of Lecture Notes in Computer Science, page 151-166. Springer, (2001)

Evaluation High Level Parallel Programming Support for Irregular Applications in ICC++.

dblp — 2011-06-16T00:00:00+02:00

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)

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.

dblp — 2010-09-17T00:00:00+02:00

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)

On radar time and the twin "paradox"

richterek — 2010-07-23T07:14:55+02:00

Carl E. Dolby, and Stephen F. Gull American Journal of Physics 69(12):1257--1261 (2001)

MemSAT: checking axiomatic specifications of memory models.

dblp — 2010-07-21T16:01:52+02:00

Emina Torlak, Mandana Vaziri, and Julian Dolby PLDI, page 341-350. ACM, (2010)

Directed test generation for effective fault localization.

dblp — 2010-07-21T16:00:54+02:00

Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia ISSTA, page 49-60. ACM, (2010)

Practical fault localization for dynamic web applications.

dblp — 2010-07-21T16:00:07+02:00

Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia ICSE 1, page 265-274. ACM, (2010)

Declarative Object Identity Using Relation Types.

dblp — 2010-07-21T15:58:26+02:00

Mandana Vaziri, Frank Tip, Stephen Fink, and Julian Dolby ECOOP, volume 4609 of Lecture Notes in Computer Science, page 54-78. Springer, (2007)

A Type System for Data-Centric Synchronization.

dblp — 2010-07-21T15:58:26+02:00

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)

Correct Refactoring of Concurrent Java Code.

dblp — 2010-07-21T15:58:26+02:00

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)

Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

gron — 2010-01-18T14:47:43+01:00

Nalini Vasudevan, Olivier Tardieu, Julian Dolby, and Stephen Edwards volume 5501 of Lecture Notes in Computer Science, page 48--62. Springer, (Mar 29, 2009)

Scalable highly expressive reasoner SHER.

dblp — 2010-01-12T00:00:00+01:00

Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, and Kavitha Srinivas J. Web Sem. 7(4):357-361 (2009)

Automatic Inline Allocation of Objects.

dblp — 2010-01-10T00:00:00+01:00

Julian Dolby PLDI, page 7-17. (1997)

Extracting Enterprise Vocabularies Using Linked Open Data.

dblp — 2009-11-11T00:00:00+01:00

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)

Modular string-sensitive permission analysis with demand-driven precision.

dblp — 2009-06-16T00:00:00+02:00

Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, and Julian Dolby ICSE, page 177-187. IEEE, (2009)

Scalable cleanup of information extraction data using ontologies

darkmatter — 2009-05-14T02:56:30+02:00

Dolby, J Fan, A Fokoue, A Kalyanpur, A Kershenbaum, L Ma, W Murdock, K Srinivas, and C Welty Lecture notes in computer science (2007)