Andreia Correia

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 17

Top Topics

Database Transactions

Transactional Memory

Concurrency Control

Correctness Criteria

Top Venues

Publications

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