Andreia Correia

According to our database, Andreia Correia authored at least 18 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Robot-human coordination for pallet loading in a parts-to-picker order-picking system.

António Galrão Ramos, Andreia Correia, Frederico M. Borges

Comput. Ind. Eng., 2026

2024

Scaling Up Transactions with Slower Clocks.

Pedro Ramalhete, Andreia Correia

Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2024

2023

2PLSF: Two-Phase Locking with Starvation-Freedom.

Pedro Ramalhete, Andreia Correia, Pascal Felber

Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023

TL4x: Buffered Durable Transactions on Disk as Fast as in Memory.

Gal Assa, Andreia Correia, Pedro Ramalhete, Valerio Schiavoni, Pascal Felber

Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023

2022

2PLSF - Two-Phase Locking with Starvation-Freedom.

Pedro Ramalhete, Andreia Correia, Pascal Felber

Dataset, November, 2022

2021

Efficient algorithms for persistent transactional memory.

Pedro Ramalhete, Andreia Correia, Pascal Felber

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

OrcGC: automatic lock-free memory reclamation.

Andreia Correia, Pedro Ramalhete, Pascal Felber

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems.

Rémi Dulong, Rafael Pires, Andreia Correia, Valerio Schiavoni, Pedro Ramalhete, Pascal Felber, Gaël Thomas

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

A wait-free universal construction for large objects.

Andreia Correia, Pedro Ramalhete, Pascal Felber

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Persistent memory and the rise of universal constructions.

Andreia Correia, Pascal Felber, Pedro Ramalhete

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

A Wait-Free Universal Construct for Large Objects.

Andreia Correia, Pedro Ramalhete, Pascal Felber

CoRR, 2019

OneFile: A Wait-Free Persistent Transactional Memory.

Pedro Ramalhete, Andreia Correia, Pascal Felber, Nachshon Cohen

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

Romulus: Efficient Algorithms for Persistent Transactional Memory.

Andreia Correia, Pascal Felber, Pedro Ramalhete

Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

Strong trylocks for reader-writer locks.

Andreia Correia, Pedro Ramalhete

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2017

Brief Announcement: Hazard Eras - Non-Blocking Memory Reclamation.

Pedro Ramalhete, Andreia Correia

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

POSTER: A Wait-Free Queue with Wait-Free Memory Reclamation.

Pedro Ramalhete, Andreia Correia

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

POSTER: Poor Man's URCU.

Pedro Ramalhete, Andreia Correia

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

2016

Tidex: a mutual exclusion lock.

Pedro Ramalhete, Andreia Correia

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016