Ricardo Jorge Freire Dias
AuthID: R-000-FCJ
11
TITLE: Precise detection of atomicity violations
AUTHORS: Dias, RJ; Pessanha, V; Lourenco, JM ;
PUBLISHED: 2013, SOURCE: 8th International on Hardware and Software: Verification and Testing, HVC 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7857 LNCS
AUTHORS: Dias, RJ; Pessanha, V; Lourenco, JM ;
PUBLISHED: 2013, SOURCE: 8th International on Hardware and Software: Verification and Testing, HVC 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7857 LNCS
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP12
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
AUTHORS: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXED IN: 
WOS
WOS13
TITLE: Detecting Concurrency Anomalies in Transactional Memory Programs Full Text
AUTHORS: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
AUTHORS: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS14
TITLE: Practical verification of high-level dataraces in transactional memory programs
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
15
TITLE: Detection of Transactional Memory anomalies using static analysis
AUTHORS: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
AUTHORS: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
16
TITLE: Unifying Memory and Database Transactions
AUTHORS: Ricardo J Dias; Joao M Lourenco ;
PUBLISHED: 2009, SOURCE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
AUTHORS: Ricardo J Dias; Joao M Lourenco ;
PUBLISHED: 2009, SOURCE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
17
TITLE: Developing Libraries Using Software Transactional Memory Full Text
AUTHORS: Ricardo Dias; Joao Lourenco ; Goncalo Cunha;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
AUTHORS: Ricardo Dias; Joao Lourenco ; Goncalo Cunha;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
