Publications

3 results for Diogo Sousa

Using program closures to make an application programming interface (API) implementation thread safe
- - Eitan Farchi
  - Itai Segall
  - et al.
- 2012
- ISSTA 2012
Workshop paper
Practical verification of high-level dataraces in transactional memory programs
- - Vasco Pessanha
  - Ricardo J. Dias
  - et al.
- 2011
- PADTAD 2011
Conference paper
Detection of Transactional Memory anomalies using static analysis
- - Bruno Teixeira
  - João Lourenço
  - et al.
- 2010
- PADTAD 2010
Conference paper