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 | 24 | 2017 |
Precise detection of atomicity violations RJ Dias, V Pessanha, JM Lourenço Haifa Verification Conference, 8-23, 2012 | 24 | 2012 |
Understanding the behavior of transactional memory applications J Lourenço, R Dias, J Luís, M Rebelo, V Pessanha Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009 | 23 | 2009 |
Efficient and correct transactional memory programs combining snapshot isolation and static analysis RJ Dias, JM Lourenço, NM Preguiça Proceedings of the 3rd USENIX conference on Hot topics in parallelism …, 2011 | 21 | 2011 |
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 | 15 | 2015 |
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 | 14 | 2010 |
Sharing personal experiences while navigating in physical spaces R Jesus, R Dias, R Frias, AJ Abrantes, N Correia | 13 | 2004 |
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 | 12 | 2017 |
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 | 12 | 2012 |
Synthesis and biological evaluation of α-hydroxyalkylphosphonates as new antimicrobial agents AMF Phillips, MT Barros, M Pacheco, R Dias Bioorganic & Medicinal Chemistry Letters 24 (1), 49-53, 2014 | 11 | 2014 |
Efficient support for in-place metadata in transactional memory RJ Dias, TM Vale, JM Lourenço European Conference on Parallel Processing, 589-600, 2012 | 10 | 2012 |
Detecting concurrency anomalies in transactional memory programs J Lourenço, D Sousa, B Teixeira, R Dias Computer Science and Information Systems, 533-548, 2011 | 10 | 2011 |
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 | 9 | 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 | 8 | 2007 |
Preventing atomicity violations with contracts DG Sousa, RJ Dias, C Ferreira, JM Lourenço arXiv preprint arXiv:1505.02951, 2015 | 6 | 2015 |
Efficient support for in‐place metadata in Java software transactional memory RJ Dias, TM Vale, JM Lourenço Concurrency and Computation: Practice and Experience 25 (17), 2394-2411, 2013 | 6 | 2013 |
Snapshot isolation anomalies detection in software transactional memory RJ Dias, J Seco, JM Lourenço INForum, 2010 | 6 | 2010 |
Developing libraries using software transactional memory R Dias, J Lourenço, G Cunha Computer Science and Information Systems 5 (2), 103-117, 2008 | 6 | 2008 |
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 | 5 | 2016 |
Unifying memory and database transactions RJ Dias, JM Lourenço European Conference on Parallel Processing, 349-360, 2009 | 5 | 2009 |