Ricardo J. Dias

According to our database1, Ricardo J. Dias authored at least 21 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

2017
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

2016
Pot: Deterministic Transactional Execution.
TACO, 2016

2015
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

2014
Efficient Correction of Anomalies in Snapshot Isolation Transactions.
TACO, 2014

2013
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

2012
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

2011
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

2010
Detection of Transactional Memory anomalies using static analysis.
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

2009
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

2008
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

2007
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


  Loading...