About Me
I am a PhD student in distributed computing at UNAM, advised by Armando Castañeda. My research focuses on distributed runtime verification of linearizability, verification interfaces, and asynchronous distributed algorithms.
I earned a B.Sc. in Telecommunications Engineering from the Faculty of Engineering, UNAM (2020), where my thesis was supervised by Francisco García. I later received an M.Sc. in Computer Science and Engineering from UNAM (2022), advised by Armando Castañeda.
Publications
- Asynchronous wait-free runtime verification and enforcement of linearizability. ACM Symposium on Principles of Distributed Computing (PODC) 2023. (Armando Castañeda and Gilde Valeria Rodriguez) [PDF]
- Towards Efficient Runtime Verified Linearizable Implementations. Runtime Verification (RV) 2024. (Gilde Valeria Rodriguez and Armando Castañeda). [Runner-up Best Paper Award] [PDF] [BibTeX]
- Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems. ACM Symposium on Principles of Distributed Computing (PODC) 2025. (Armando Castañeda and Gilde Valeria Rodriguez) [PDF]
- Distributed Runtime Verification of Linearizability Using Non-linearizable Objects. (Gilde Valeria Rodriguez and Armando Castañeda). (Journal submission in progress).
News
- September 2025: Began a research visit at MSU, Michigan, United States under the supervision of Prof. Borzoo Bonakdarpour.
- July 2025: Presented our paper at PODC 2025, Huatulco, México.
- July 2025: Served as a volunteer local organizer for PODC 2025, Huatulco, México.
- May 2025: Advanced to PhD candidacy.
- April 2025: Our paper was accepted at PODC 2025.
- October 2024: Received partial support from the program chairs and sponsors to attend Runtime Verification (RV 2024), Istanbul.
- October 2024: Recognized as Runner-up for the Best Paper Award at Runtime Verification (RV 2024), Istanbul.
- October 2024: Presented our paper at Runtime Verification (RV 2024), Istanbul.
- August 2024: Our paper was accepted at RV 2024.
- May 2023: My first paper was accepted at PODC 2023.
Interests
- Distributed Algorithms
- Runtime Verification
- Linearizability & Consistency
- Teaching Concurrent Computing
- Crochet, cooking and woodworking
- Art, nature, and crossfit
Contact
Email: gildevroji@gmail.com
GitHub: github.com/gilde-valeria
ORCID: 0009-0009-1463-7786
Mexico City