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 | 34 | 2017 |
Precise detection of atomicity violations RJ Dias, V Pessanha, JM Lourenço Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 28 | 2013 |
Efficient and correct transactional memory programs combining snapshot isolation and static analysis RJ Dias, JM Lourenço, NM Preguiça | 23 | 2011 |
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 | 22 | 2009 |
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 | 19 | 2015 |
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 | 18 | 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 | 16 | 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 | 15 | 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 | 14 | 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 | 12 | 2011 |
Preventing atomicity violations with contracts DG Sousa, RJ Dias, C Ferreira, JM Lourenço arXiv preprint arXiv:1505.02951, 2015 | 10 | 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 | 10 | 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 | 8 | 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 |
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 | 7 | 2016 |
Developing libraries using software transactional memory R Dias, J Lourenço, G Cunha Computer Science and Information Systems 5 (2), 103-117, 2008 | 7 | 2008 |
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 | 6 | 2013 |
Snapshot isolation anomalies detection in software transactional memory RJ Dias, J Seco, JM Lourenço Proceedings of InForum 2010, 2010 | 6 | 2010 |
Ajex: A source-to-source java stm framework compiler R Dias, B Teixeira Tech. rep., DI-FCT/UNL (Apr 2009), 2009 | 6 | 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 | 6 | 2008 |