Gilde Valeria Rodríguez

According to our database¹, Gilde Valeria Rodríguez authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2025

2024

Towards Efficient Runtime Verified Linearizable Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023