1

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
Unifying Memory and Database Transactions
Software Transactional Memory is a concurrency control technique gaining increasing popularity, as it provides high-level concurrency …
Ricardo J. Dias, João M. Lourenço
Posted Jan 1, 2009
Cite Link
Consistent State Software Transactional Memory
N/A
Gonçalo Cunha, João M. Lourenço, Ricardo J. Dias
Posted Nov 1, 2008
Cite
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
Database systems are a key component behind many of today’s computer systems. As a consequence, it is crucial that database systems …
Nuno Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João M. Lourenço
Posted Jan 1, 2008
Cite Link