Tidex: a mutual exclusion lock. - Pedro Ramalhete; Andreia Correia (PPoPP, 2016)

POSTER: Poor Man's URCU. - Pedro Ramalhete; Andreia Correia (PPoPP, 2017)

POSTER: A Wait-Free Queue with Wait-Free Memory Reclamation. - Pedro Ramalhete; Andreia Correia (PPoPP, 2017)

Brief Announcement: Hazard Eras - Non-Blocking Memory Reclamation. - Pedro Ramalhete; Andreia Correia (SPAA, 2017)

Strong trylocks for reader-writer locks. - Andreia Correia; Pedro Ramalhete (PPoPP, 2018)

Romulus: Efficient Algorithms for Persistent Transactional Memory. - Andreia Correia; Pascal Felber; Pedro Ramalhete (SPAA, 2018)

OneFile: A Wait-Free Persistent Transactional Memory. - Pedro Ramalhete; Andreia Correia; Pascal Felber; Nachshon Cohen (DSN, 2019)

A Wait-Free Universal Construct for Large Objects. - Andreia Correia; Pedro Ramalhete; Pascal Felber (CoRR, 2019)

Persistent memory and the rise of universal constructions. - Andreia Correia; Pascal Felber; Pedro Ramalhete (EuroSys, 2020)

A wait-free universal construction for large objects. - Andreia Correia; Pedro Ramalhete; Pascal Felber (PPoPP, 2020)

NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems. - Rémi Dulong; Rafael Pires 001; Andreia Correia; Valerio Schiavoni; Pedro Ramalhete; Pascal Felber; Gaël Thomas 001 (DSN, 2021)

OrcGC: automatic lock-free memory reclamation. - Andreia Correia; Pedro Ramalhete; Pascal Felber (PPoPP, 2021)

Efficient algorithms for persistent transactional memory. - Pedro Ramalhete; Andreia Correia; Pascal Felber (PPoPP, 2021)

2PLSF - Two-Phase Locking with Starvation-Freedom. - Pedro Ramalhete; Andreia Correia; Pascal Felber (Zenodo, 2022)

TL4x: Buffered Durable Transactions on Disk as Fast as in Memory. - Gal Assa; Andreia Correia; Pedro Ramalhete; Valerio Schiavoni; Pascal Felber (PPoPP, 2023)

2PLSF: Two-Phase Locking with Starvation-Freedom. - Pedro Ramalhete; Andreia Correia; Pascal Felber (PPoPP, 2023)

Scaling Up Transactions with Slower Clocks. - Pedro Ramalhete; Andreia Correia (PPoPP, 2024)