Diogo J. Cardoso

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Speculative Execution

Hardware Design

Transactional Memory

Top Venues

Publications

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. SBLP (2022)
Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, André Rauber Du Bois, Gerson G. H. Cavalheiro
An extension for Transactional Memory in OpenMP. SBLP (2021)
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. SBLP (2021)
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
A Graph Transformation System formalism for Software Transactional Memory Opacity. SBLP (2019)
Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
AsyncRFJ: an asynchronous approach to reactive object-oriented programming. SBLP (2018)