1

Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis
The use of the Snapshot Isolation (SI) level in Transactional Memory (TM) eliminates the need of tracking memory read accesses, …
Ricardo J. Dias, João M. Lourenço, Nuno Preguiça
Posted May 1, 2011
Cite Link
Aceleração de Computações Científicas com Processadores Heterogéneos
N/A
Luís Picciochi Oliveira, João M. Lourenço
Posted Jan 1, 2011
Cite
PADTAD'11: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
N/A
João M. Lourenço
Posted Jan 1, 2011
Cite Link
Practical Verification of High-Level Dataraces in Transactional Memory Programs
In this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in …
Vasco Pessanha, Ricardo J. Dias, João M. Lourenço, Eitan Farchi, Diogo G. Sousa
Posted Jan 1, 2011
Cite Link
Suporte Transaccional para o Sistema de Ficheiros Btrfs
N/A
João E. Luís, João M. Lourenço, Paulo A. Lopes
Posted Jan 1, 2011
Cite
A Static Approach for Detecting Concurrency Anomalies in Transactional Memory
Programs containing concurrency anomalies will most probably exhibit harmful erroneous and unpredictable behaviors. To ensure program …
Bruno C. Teixeira, João M. Lourenço, Diogo G. Sousa
Posted Jan 1, 2010
Cite Link
Detection of Transactional Memory Anomalies Using Static Analysis
Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not …
Bruno C. Teixeira, João M. Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo G. Sousa
Posted Jan 1, 2010
Cite Link
Open Virtualization Framework for Testing Ground Systems
The recent developments in virtualization change completely the panorama of the Hardware/OS deployment. New bottlenecks arise in the …
Nuno Duro, Rui Santos, João M. Lourenço, Hervé Paulino, João Martins
Posted Jan 1, 2010
Cite Link
Snapshot Isolation Anomalies Detection in Software Transactional Memory
Some performance issues of transactional memory are caused by unnecessary abort situations where non serializable and yet non …
Ricardo J. Dias, João Seco, João M. Lourenço
Posted Jan 1, 2010
Cite Link
Understanding the Behavior of Transactional Memory Applications
Transactional memory is a new trend in concurrency control that was boosted by the advent of multi-core processors and the near to come …
João M. Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha
Posted Jan 1, 2009
Cite Link