Ricardo J. Dias

According to our database, Ricardo J. Dias authored at least 25 papers between 2007 and 2023.

Collaborative distances:

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

2023

Acceptance of Autonomous Electric Vehicles as a Collective Passenger Transport: The Case of Portugal.

Francisco Rebelo, Ana Faria, João Costa, Ricardo J. Dias, Elisângela Vilar, Paulo Noriega

Proceedings of the Design, User Experience, and Usability, 2023

2020

Lazy State Determination: More concurrency for contending linearizable transactions.

Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço

CoRR, 2020

2019

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.

Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues

Proceedings of the Encyclopedia of Big Data Technologies., 2019

A More Consistent Understanding of Consistency.

Subhajit Sidhanta, Ricardo J. Dias, Rodrigo Rodrigues

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

2017

Blotter: Low Latency Transactions for Geo-Replicated Storage.

Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues

Proceedings of the 26th International Conference on World Wide Web, 2017

Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Pot: Deterministic Transactional Execution.

Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço

ACM Trans. Archit. Code Optim., 2016

2015

Preventing Atomicity Violations with Contracts.

Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço

CoRR, 2015

Supporting Multiple Data Replication Models in Distributed Transactional Memory.

João A. Silva, Tiago M. Vale, Ricardo J. Dias, Hervé Paulino, João Lourenço

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Framework Support for the Efficient Implementation of Multi-version Algorithms.

Ricardo J. Dias, Tiago M. Vale, João M. Lourenço

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014

Efficient Correction of Anomalies in Snapshot Isolation Transactions.

Heiner Litz, Ricardo J. Dias, David R. Cheriton

ACM Trans. Archit. Code Optim., 2014

2013

Efficient support for in-place metadata in Java software transactional memory.

Ricardo J. Dias, Tiago M. Vale, João Lourenço

Concurr. Comput. Pract. Exp., 2013

On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories.

Tiago M. Vale, Ricardo J. Dias, João Lourenço

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

2012

Precise Detection of Atomicity Violations.

Ricardo J. Dias, Vasco Pessanha, João Lourenço

Proceedings of the Hardware and Software: Verification and Testing, 2012

Efficient Support for In-Place Metadata in Transactional Memory.

Ricardo J. Dias, Tiago M. Vale, João Lourenço

Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

Verification of Snapshot Isolation in Transactional Memory Java Programs.

Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Detecting concurrency anomalies in transactional memory programs.

João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias

Comput. Sci. Inf. Syst., 2011

Practical verification of high-level dataraces in transactional memory programs.

Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010

Detection of Transactional Memory anomalies using static analysis.

Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

2009

Understanding the behavior of transactional memory applications.

João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Unifying Memory and Database Transactions.

Ricardo J. Dias, João Lourenço

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

2008

Developing libraries using software transactional memory.

Ricardo J. Dias, João Lourenço, Gonçalo Cunha

Comput. Sci. Inf. Syst., 2008

Memoria mobile: sharing pictures of a point of interest.

Rui Jesus, Ricardo J. Dias, Rute Frias, Arnaldo J. Abrantes, Nuno Correia

Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007

Mobile interface of the memoria project.

Ricardo J. Dias, Rui Jesus, Rute Frias, Nuno Correia

Proceedings of the SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2007

Geographic image retrieval in mobile guides.

Rui Jesus, Ricardo J. Dias, Rute Frias, Nuno Correia

Proceedings of the 4th ACM Workshop On Geographic Information Retrieval, 2007