Diogo Sousa

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Implementation Details

Programming Interface

Top Venues

Publications

Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa
Using program closures to make an application programming interface (API) implementation thread safe. PADTAD (2012)
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa
Practical verification of high-level dataraces in transactional memory programs. PADTAD (2011)
João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias
Detecting concurrency anomalies in transactional memory programs. Comput. Sci. Inf. Syst. 8 (2) (2011)
Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa
Detection of Transactional Memory anomalies using static analysis. PDATAD (2010)