Gilde Valeria Rodríguez

According to our database, Gilde Valeria Rodríguez authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Towards Efficient Runtime Verified Linearizable Algorithms.

Gilde Valeria Rodríguez, Armando Castañeda

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

2023

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.

Armando Castañeda, Gilde Valeria Rodríguez

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