Publications

3 results at PROPP 2005

Applications of synchronization coverage
- - Arkady Bron
  - Eitan Farchi
  - et al.
- 2005
- PROPP 2005
Scaling model checking of dataraces using dynamic information
- - Ohad Shacham
  - Mooly Sagiv
  - et al.
- 2005
- PROPP 2005
Compiler techniques for high performance sequentially consistent java programs
- - Zehra Sura
  - Xing Fang
  - et al.
- 2005
- PROPP 2005