Refactoring Java programs for flexible locking
- Max Schäfer
- Manu Sridharan
- et al.
- 2011
- ICSE 2011
Publications
Date
Featured collections
Popular topics
64 results for Julian Dolby
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