A data-centric approach to synchronization
- Julian Dolby
- Christian Hammer
- et al.
- 2012
- ACM TOPLAS
Publications
66 results for Julian Dolby
Fault localization for dynamic web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2012
- IEEE TSE
Saving the world wide web from vulnerable JavaScript
- Salvatore Guarnieri
- Marco Pistoia
- et al.
- 2011
- ISSTA 2011
Refactoring Java programs for flexible locking
- Max Schäfer
- Manu Sridharan
- et al.
- 2011
- ICSE 2011
A framework for automated testing of JavaScript web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2011
- ICSE 2011
Finding concurrency-related bugs using random isolation
- Nicholas Kidd
- Thomas Reps
- et al.
- 2011
- International Journal on Software Tools for Technology Transfer
Directed test generation for effective fault localization
- Shay Artzi
- Julian Dolby
- et al.
- 2010
- ISSTA 2010
Practical fault localization for dynamic web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2010
- ICSE 2010
MemSAT: Checking axiomatic specifications of memory models
- Emina Torlak
- Mandana Vaziri
- et al.
- 2010
- PLDI 2010
Finding bugs in web applications using dynamic test generation and explicit-state model checking
- Shay Artzi
- Adam Kiezun
- et al.
- 2010
- IEEE TSE