Diogo J. Cardoso

According to our database, Diogo J. Cardoso authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Um Formalismo de Gramática de Grafos para Corretude de Memória Transacional de Software

Diogo J. Cardoso

PhD thesis, 2023

2022

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

2021

An extension for Transactional Memory in OpenMP.

Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, André Rauber Du Bois, Gerson G. H. Cavalheiro

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

A Graph Transformation System formalism for correctness of Transactional Memory algorithms.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

2019

A Graph Transformation System formalism for Software Transactional Memory Opacity.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

2018

AsyncRFJ: an asynchronous approach to reactive object-oriented programming.

Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018