Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

64 results for Julian Dolby

Refactoring Java programs for flexible locking
- - Max Schäfer
  - Manu Sridharan
  - et al.
- 2011
- ICSE 2011
MemSAT: Checking axiomatic specifications of memory models
- - Emina Torlak
  - Mandana Vaziri
  - et al.
- 2010
- PLDI 2010
Practical fault localization for dynamic web applications
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2010
- ICSE 2010
Modular string-sensitive permission analysis with demand-driven precision
- - Emmanuel Geay
  - Marco Pistoia
  - et al.
- 2009
- ICSE 2009
Dynamic detection of atomic-set-serializability violations
- - Christian Hammer
  - Julian Dolby
  - et al.
- 2008
- ICSE 2008
Finding bugs efficiently with a SAT solver
- - Julian Dolby
  - Mandana Vaziri
  - et al.
- 2007
- ESEC/FSE 2007
A Study of Call Graph Construction for JVM-Hosted Languages
- - Karim Ali
  - Xiaoni Lai
  - et al.
- 2021
- IEEE TSE
Fault localization for dynamic web applications
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2012
- IEEE TSE
Finding bugs in web applications using dynamic test generation and explicit-state model checking
- - Shay Artzi
  - Adam Kiezun
  - et al.
- 2010
- IEEE TSE
A Toolkit for Generating Code Knowledge Graphs
- - Ibrahim Abdelaziz
  - Julian Dolby
  - et al.
- 2021
- K-CAP 2021