| 2024 | PPoPP | Scaling Up Transactions with Slower Clocks. | Pedro Ramalhete, Andreia Correia |
| 2023 | PPoPP | TL4x: Buffered Durable Transactions on Disk as Fast as in Memory. | Gal Assa, Andreia Correia, Pedro Ramalhete, Valerio Schiavoni, Pascal Felber |
| 2023 | PPoPP | 2PLSF: Two-Phase Locking with Starvation-Freedom. | Pedro Ramalhete, Andreia Correia, Pascal Felber |
| 2021 | DSN | NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems. | Rmi Dulong, Rafael Pires, Andreia Correia, Valerio Schiavoni, Pedro Ramalhete, Pascal Felber, Gal Thomas |
| 2021 | PPoPP | OrcGC: automatic lock-free memory reclamation. | Andreia Correia, Pedro Ramalhete, Pascal Felber |
| 2021 | PPoPP | Efficient algorithms for persistent transactional memory. | Pedro Ramalhete, Andreia Correia, Pascal Felber |
| 2020 | EuroSys | Persistent memory and the rise of universal constructions. | Andreia Correia, Pascal Felber, Pedro Ramalhete |
| 2020 | PPoPP | A wait-free universal construction for large objects. | Andreia Correia, Pedro Ramalhete, Pascal Felber |
| 2019 | DSN | OneFile: A Wait-Free Persistent Transactional Memory. | Pedro Ramalhete, Andreia Correia, Pascal Felber, Nachshon Cohen |
| 2018 | PPoPP | Strong trylocks for reader-writer locks. | Andreia Correia, Pedro Ramalhete |
| 2018 | SPAA | Romulus: Efficient Algorithms for Persistent Transactional Memory. | Andreia Correia, Pascal Felber, Pedro Ramalhete |
| 2017 | PPoPP | POSTER: Poor Man's URCU. | Pedro Ramalhete, Andreia Correia |
| 2017 | PPoPP | POSTER: A Wait-Free Queue with Wait-Free Memory Reclamation. | Pedro Ramalhete, Andreia Correia |
| 2017 | SPAA | Brief Announcement: Hazard Eras - Non-Blocking Memory Reclamation. | Pedro Ramalhete, Andreia Correia |
| 2016 | PPoPP | Tidex: a mutual exclusion lock. | Pedro Ramalhete, Andreia Correia |