Gilde Valeria Rodríguez

PhD Student · Concurrent & Distributed Computing · Runtime Verification

About Me

Gilde Valeria Rodríguez

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.

Teaching: Concurrent Computing

Notes for Computer Scientist in Spanish.

  • Notas de teoría
    Explicaciones conceptuales, intuiciones y apuntes extendidos.
  • Prácticas
    Enunciados en HTML y PDF, con los códigos en Java del curso.
  • Bibliografía
    Las obras citadas en las prácticas, con el archivo .bib descargable.

Publications

Full record on ORCID 0009-0009-1463-7786.

Journal articles

  • A reliable non-intrusive runtime verification framework for linearizability. Science of Computer Programming 254 (2026), 103509. (Gilde Valeria Rodríguez, Miguel Piña and Armando Castañeda) [DOI]
  • Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. Journal of the ACM 73(1) (2026), 1–37. (Armando Castañeda and Gilde Valeria Rodríguez) [DOI] Extended version of the PODC 2023 paper.

Conference papers

  • 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 Rodríguez) [PDF]
  • Towards Efficient Runtime Verified Linearizable Implementations. Runtime Verification (RV) 2024. (Gilde Valeria Rodríguez and Armando Castañeda) [Runner-up Best Paper Award] [PDF]
  • Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. ACM Symposium on Principles of Distributed Computing (PODC) 2023. (Armando Castañeda and Gilde Valeria Rodríguez) [PDF]

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