Publications

3 results for Christian Hammer

Detecting deadlock in programs with data-centric synchronization
- - Daniel Marino
  - Christian Hammer
  - et al.
- 2013
- ICSE 2013
Conference paper
A data-centric approach to synchronization
- - Julian Dolby
  - Christian Hammer
  - et al.
- 2012
- ACM TOPLAS
Paper
Dynamic detection of atomic-set-serializability violations
- - Christian Hammer
  - Julian Dolby
  - et al.
- 2008
- ICSE 2008
Conference paper