Ricardo J. Dias
Ricardo J. Dias
Verified email at - Homepage
Cited by
Cited by
Blotter: Low latency transactions for geo-replicated storage
H Moniz, J Leitão, RJ Dias, J Gehrke, N Preguiça, R Rodrigues
Proceedings of the 26th International Conference on World Wide Web, 263-272, 2017
Precise detection of atomicity violations
RJ Dias, V Pessanha, JM Lourenço
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
Efficient and correct transactional memory programs combining snapshot isolation and static analysis
RJ Dias, JM Lourenço, NM Preguiça
Understanding the behavior of transactional memory applications
J Lourenço, R Dias, J Luis, M Rebelo, V Pessanha
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
Verifying concurrent programs using contracts
RJ Dias, C Ferreira, J Fiedor, JM Lourenço, A Smrcka, DG Sousa, ...
2017 IEEE International Conference on Software Testing, Verification and …, 2017
Efficient correction of anomalies in snapshot isolation transactions
H Litz, RJ Dias, DR Cheriton
ACM Transactions on Architecture and Code Optimization (TACO) 11 (4), 1-24, 2015
Verification of Snapshot Isolation in Transactional Memory Java Programs
RJ Dias, D Distefano, JC Seco, JM Lourenço
ECOOP 2012 – Object-Oriented Programming, 640-664, 2012
Detection of transactional memory anomalies using static analysis
B Teixeira, J Lourenço, E Farchi, R Dias, D Sousa
Proceedings of the 8th workshop on parallel and distributed systems: Testing …, 2010
Sharing personal experiences while navigating in physical spaces
R Jesus, R Dias, R Frias, A Abrantes, N Correia
5th Workshop on Multimedia Information Retrieval, ACM SIGIR Conference on …, 2007
Detecting concurrency anomalies in transactional memory programs
J Lourenço, D Sousa, B Teixeira, R Dias
Computer Science and Information Systems, 533-548, 2011
Preventing atomicity violations with contracts
DG Sousa, RJ Dias, C Ferreira, JM Lourenço
arXiv preprint arXiv:1505.02951, 2015
Efficient support for in-place metadata in transactional memory
RJ Dias, TM Vale, JM Lourenço
Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par …, 2012
Practical verification of high-level dataraces in transactional memory programs
V Pessanha, RJ Dias, JM Lourenço, E Farchi, D Sousa
Proceedings of the Workshop on Parallel and Distributed Systems: Testing …, 2011
Geographic image retrieval in mobile guides
R Jesus, R Dias, R Frias, N Correia
Proceedings of the 4th ACM workshop on Geographical information retrieval, 37-38, 2007
Pot: Deterministic transactional execution
TM Vale, JA Silva, RJ Dias, JM Lourenço
ACM Transactions on Architecture and Code Optimization (TACO) 13 (4), 1-24, 2016
Efficient support for in‐place metadata in Java software transactional memory
RJ Dias, TM Vale, JM Lourenco
Concurrency and Computation: Practice and Experience 25 (17), 2394-2411, 2013
Snapshot isolation anomalies detection in software transactional memory
RJ Dias, J Seco, JM Lourenço
Proceedings of InForum 2010, 2010
Ajex: A source-to-source java stm framework compiler
R Dias, B Teixeira
Tech. rep., DI-FCT/UNL (Apr 2009), 2009
Memoria mobile: sharing pictures of a point of interest
R Jesus, R Dias, R Frias, AJ Abrantes, N Correia
Proceedings of the working conference on Advanced visual interfaces, 412-415, 2008
Developing libraries using software transactional memory
R Dias, J Lourenço, G Cunha
Computer Science and Information Systems 5 (2), 103-117, 2008
The system can't perform the operation now. Try again later.
Articles 1–20