Pedro Raminhas

According to our database, Pedro Raminhas authored at least 2 papers between 2018 and 2020.

Collaborative distances:

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

2020

Exploiting Symbolic Execution to Accelerate Deterministic Databases.

Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

2018

Enhancing Efficiency of Hybrid Transactional Memory Via Dynamic Data Partitioning Schemes.

Pedro Raminhas, Shady Issa, Paolo Romano

Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018