Ricardo J. Dias
According to our database1, Ricardo J. Dias authored at least 21 papers between 2007 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.
Proceedings of the Encyclopedia of Big Data Technologies., 2019
Blotter: Low Latency Transactions for Geo-Replicated Storage.
Proceedings of the 26th International Conference on World Wide Web, 2017
Verifying Concurrent Programs Using Contracts.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Pot: Deterministic Transactional Execution.
Supporting Multiple Data Replication Models in Distributed Transactional Memory.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015
Framework Support for the Efficient Implementation of Multi-version Algorithms.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015
Efficient Correction of Anomalies in Snapshot Isolation Transactions.
Efficient support for in-place metadata in Java software transactional memory.
Concurrency and Computation: Practice and Experience, 2013
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013
Precise Detection of Atomicity Violations.
Proceedings of the Hardware and Software: Verification and Testing, 2012
Efficient Support for In-Place Metadata in Transactional Memory.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012
Verification of Snapshot Isolation in Transactional Memory Java Programs.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
Detecting concurrency anomalies in transactional memory programs.
Comput. Sci. Inf. Syst., 2011
Practical verification of high-level dataraces in transactional memory programs.
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011
Detection of Transactional Memory anomalies using static analysis.
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010
Understanding the behavior of transactional memory applications.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009
Unifying Memory and Database Transactions.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009
Developing libraries using software transactional memory.
Comput. Sci. Inf. Syst., 2008
Memoria mobile: sharing pictures of a point of interest.
Proceedings of the working conference on Advanced Visual Interfaces, 2008
Mobile interface of the memoria project.
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.
Proceedings of the 4th ACM Workshop On Geographic Information Retrieval, 2007