Publications

2 results for Ricardo J. Dias

Practical verification of high-level dataraces in transactional memory programs
- - Vasco Pessanha
  - Ricardo J. Dias
  - et al.
- 2011
- PADTAD 2011
Detection of Transactional Memory anomalies using static analysis
- - Bruno Teixeira
  - João Lourenço
  - et al.
- 2010
- PADTAD 2010