Detecting deadlock in programs with data-centric synchronization
- Daniel Marino
- Christian Hammer
- et al.
- 2013
- ICSE 2013
Publications
Date
Featured collections
Popular topics
3 results for Christian Hammer
Dynamic detection of atomic-set-serializability violations
- Christian Hammer
- Julian Dolby
- et al.
- 2008
- ICSE 2008
A data-centric approach to synchronization
- Julian Dolby
- Christian Hammer
- et al.
- 2012
- ACM TOPLAS